Location
cadiz
Job Type
Full-time
Posted
May 30, 2026
Job Description
Overview
¿Le interesa este puesto? Puede encontrar toda la información relevante en la descripción a continuación.
Predictable Machines is building the next generation of verifiable AI systems—combining cutting-edge language models with formal verification, functional programming, and mathematical rigor. We're seeking a Verification-Focused AI Engineer who thrives at the intersection of AI capabilities and mathematical precision.
We're looking for someone who:
Understands both AI potential and limitations —excited about LLMs but equally passionate about making them reliable, traceable, and mathematically sound.
Embraces functional programming paradigms —comfortable with Kotlin, TypeScript, and compositional system design for building deterministic, verifiable AI workflows.
Has curiosity about formal methods —interested in SMT solvers, logical reasoning, mathematical validation, or formal verification techniques (experience preferred but not required).
¿Le interesa este puesto? Puede encontrar toda la información relevante en la descripción a continuación.
Predictable Machines is building the next generation of verifiable AI systems—combining cutting-edge language models with formal verification, functional programming, and mathematical rigor. We're seeking a Verification-Focused AI Engineer who thrives at the intersection of AI capabilities and mathematical precision.
We're looking for someone who:
Understands both AI potential and limitations —excited about LLMs but equally passionate about making them reliable, traceable, and mathematically sound.
Embraces functional programming paradigms —comfortable with Kotlin, TypeScript, and compositional system design for building deterministic, verifiable AI workflows.
Has curiosity about formal methods —interested in SMT solvers, logical reasoning, mathematical validation, or formal verification techniques (experience preferred but not required).