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

Responsibilities (summarized) :

• Build verification-first AI systems alongside senior engineers, focusing on Server-Sent Events architectures, streaming workflows, and real-time verification pipelines using Kotlin and TypeScript.
• Develop and integrate formal verification tools — work with SMT solvers, logical reasoning systems, and mathematical validation tools to ensure AI outputs are provably correct and traceable.
• Design streaming verification workflows that combine factual verification (web search), logical validation (formal methods), and mathematical checking (computational tools) into coherent, auditable pipelines.
• Implement TypeScript client libraries and UI components for real-time research steppers, verification progress visualization, and interactive audit trail interfaces with full type safety.
• Contribute to Docker-based tool ecosystem — help maintain and extend the 17+ containerized verification tools, MCP server implementations, and automated deployment systems.
• Participate in verification methodology research — explore new approaches to AI fact-checking, logical consistency testing, and mathematical validation while maintaining functional programming principles.
• Support enterprise integration patterns — help build authentication systems, multi-tenancy features, and API integrations that allow verification capabilities to be embedded in customer applications.

Ideal backgrounds

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.

Qualifications

Bonus Points

#J-18808-Ljbffr