Job Description

Predictable Machines, Inc. is seeking a Senior AI Engineer to architect and lead verification systems that ensure AI outputs are provably correct, auditable, and backed by formal reasoning. The role focuses on streaming verification architectures, SMT solvers integration, and building enterprise-grade tool ecosystems using Kotlin, TypeScript, and Docker, with close collaboration in the Engineering department in Cadiz.

#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Predictable Machines, Inc. today.

Submit Application