Senior - Ai Engineer

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).
• Thinks in systems and workflows —drawn to event-driven architectures, streaming systems, and building complex verification pipelines rather than just prompt engineering.
• Values transparency and explainability —motivated by building AI systems where every decision can be traced, verified, and explained with mathematical rigor.

Ideal backgrounds include :

This role involves building verification systems that make AI trustworthy, not just impressive. If you're excited about combining the power of large language models with the rigor of formal verification, we want to meet you

Required :

comfort with immutable data structures, composable functions, and type-safe architectures.

understanding that AI is part of larger, reliable systems.

Bonus Points :

understanding of monads, type systems, or category theory.