Location
cadiz, andalusia, Spain
Posted
July 19, 2026
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
#J-18808-Ljbffr