Location
puerto, kingdom of spain, Spain
Posted
June 06, 2026
Job Description
Predictable Machines is seeking a
Siga leyendo para comprender completamente lo que este trabajo requiere en cuanto a habilidades y experiencia. Si su perfil encaja, presente su candidatura.
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 need someone who:
Architects verification-first systems —designs streaming architectures, event-driven workflows, and real-time verification pipeline...
Siga leyendo para comprender completamente lo que este trabajo requiere en cuanto a habilidades y experiencia. Si su perfil encaja, presente su candidatura.
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 need someone who:
Architects verification-first systems —designs streaming architectures, event-driven workflows, and real-time verification pipeline...