Job Description
Senior AI Engineer – AI Verification Systems Location: Cadiz, Spain Type: Full-time Department: Engineering Overview
Predictable Machines is seeking a Senior Engineer to architect and lead the development of mathematically rigorous AI verification systems. We're building the next generation of trustworthy AI—where every output is traceable, verifiable, and backed by formal reasoning. We're tackling a fundamentally different challenge: Rather than building faster or more capable AI, we're ensuring AI systems produce provably correct, auditable results. The platform combines streaming verification architectures, formal methods (SMT solvers), and functional programming principles to create AI systems that enterprises can actually trust with critical decisions. Responsibilities
Architect verification-first systems—design streaming architectures, event‑driven workflows, and real‑time verification pipelines using Kotlin, TypeScript, and functional programming principles. In...
Predictable Machines is seeking a Senior Engineer to architect and lead the development of mathematically rigorous AI verification systems. We're building the next generation of trustworthy AI—where every output is traceable, verifiable, and backed by formal reasoning. We're tackling a fundamentally different challenge: Rather than building faster or more capable AI, we're ensuring AI systems produce provably correct, auditable results. The platform combines streaming verification architectures, formal methods (SMT solvers), and functional programming principles to create AI systems that enterprises can actually trust with critical decisions. Responsibilities
Architect verification-first systems—design streaming architectures, event‑driven workflows, and real‑time verification pipelines using Kotlin, TypeScript, and functional programming principles. In...
Ready to Apply?
Take the next step in your AI career. Submit your application to Predictable Machines, Inc. today.
Submit Application