31 jul
|
Predictable Machines
|
Cádiz
31 jul
Predictable Machines
Cádiz
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, Type Script, and Docker, with close collaboration in the Engineering department in Cadiz. #J-18808-Ljbffr
📌 Senior Ai Verification Architect (Cádiz)
🏢 Predictable Machines
📍 Cádiz