← Back to roles
AI Engineer
LocationCadiz, Spain
TypeFull-time
DepartmentEngineering
We're not actively hiring right now, but if you're interested in getting to know us, reach out at
[email protected]
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. Our 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.
We're Looking For Someone Who
Architects verification-first systems—designs streaming architectures, event-driven workflows, and real-time verification pipelines using Kotlin, TypeScript,
and functional programming principles.
Integrates formal methods with AI workflows—combines SMT solvers, logical reasoning engines, and mathematical validation tools to create provably reliable AI systems.
Builds enterprise-grade verification platforms—develops Server-Sent Events APIs, MCP protocol implementations, TypeScript client libraries, and Docker-based tool ecosystems that other engineers actually want to use.
Leads mathematical AI reliability—implements multi-layered verification (factual, logical, mathematical) with complete audit trails, source provenance, and confidence scoring systems.
Thinks in systems and proofs—comfortable with both distributed systems architecture and mathematical reasoning; excited about making AI outputs as reliable as traditional software systems.
Adecuado Backgrounds Include
Architect verification-first AI systems with our CTO and engineering team—design streaming verification pipel
📌 AI Engineer (Cádiz)
🏢 Predictable Machines
📍 Cádiz