Junior - AI Engineer

Overview

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 e...