PstrongPredictable 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 /strongVerification-Focused AI Engineerstrong who thrives at the intersection of AI capabilities and mathematical precision. /strong /ppbr/ppstrongWe're looking for someone who: /strong /ppbr/pullistrongUnderstands both AI potential and limitations /strong—excited about LLMs but equally passionate about making them reliable, traceable, and mathematically sound. /lilistrongEmbraces functional programming paradigms /strong—comfortable with Kotlin, TypeScript, and compositional system design for building deterministic, verifiable AI workflows. /lilistrongHas curiosity about formal methods /strong—interested in SMT solvers, logical reasoning, mathematical validation, or formal verification techniques (experience preferred but not required). /lilistrongThinks in systems and workflows /strong—drawn to event-driven architectures, streaming systems, and building complex verification pipelines rather than just prompt engineering. /lilistrongValues transparency and explainability /strong—motivated by building AI systems where every decision can be traced, verified, and explained with mathematical rigor. /li /ulpbr/ppstrongIdeal backgrounds include: /strong /ppbr/pulliComputer Science with formal methods exposure /liliMathematics/Logic with programming experience /liliSoftware Engineering with AI/verification interest /liliResearch experience in AI safety, verification, or explainable AI /li /ulpbr/ppstrongThis role involves building verification systems that make AI trustworthy, not just impressive. /strong If you're excited about combining the power of large language models with the rigor of formal verification, we want to meet you /ppbr/pullistrongBuild verification-first AI systems /strong alongside senior engineers, focusing on Server-Sent Events architectures, streaming workflows, and real-time verification pipelines using Kotlin and TypeScript. /lilistrongDevelop and integrate formal verification tools /strong—work with SMT solvers, logical reasoning systems, and mathematical validation tools to ensure AI outputs are provably correct and traceable. /lilistrongDesign streaming verification workflows /strong that combine factual verification (web search), logical validation (formal methods), and mathematical checking (computational tools) into coherent, auditable pipelines. /lilistrongImplement TypeScript client libraries and UI components /strong for real-time research steppers, verification progress visualization, and interactive audit trail interfaces with full type safety. /lilistrongContribute to Docker-based tool ecosystem /strong—help maintain and extend the 17+ containerized verification tools, MCP server implementations, and automated deployment systems. /lilistrongParticipate in verification methodology research /strong—explore new approaches to AI fact-checking, logical consistency testing, and mathematical validation while maintaining functional programming principles. /lilistrongSupport enterprise integration patterns /strong—help build authentication systems, multi-tenancy features, and API integrations that allow verification capabilities to be embedded in customer applications. /li /ulpbr/ppstrongRequired: /strong /ppbr/pullistrongStrong foundation in Computer Science, Mathematics, or Engineering /strong—degree preferred but exceptional self-taught candidates with demonstrated systems-building experience welcome. /lilistrongProficiency in functional programming languages /strong—experience with Kotlin, TypeScript, or Scala preferred; comfort with immutable data structures, composable functions, and type-safe architectures. /lilistrongInterest in mathematical reasoning and formal methods /strong—curiosity about logic, proof systems, SMT solvers, or mathematical validation (coursework or personal projects demonstrate this). /lilistrongSystems thinking mindset /strong—experience with event-driven architectures, streaming systems, API design, or containerized applications; understanding that AI is part of larger, reliable systems. /lilistrongCollaborative engineering skills /strong—comfort with Git workflows, code reviews, and building production-quality software rather than just research prototypes. /li /ulpbr/ppstrongBonus Points: /strong /ppbr/pullistrongFormal methods exposure /strong—coursework or projects involving theorem provers, model checking, constraint solving, or mathematical verification tools. /lilistrongLLM integration experience /strong—but focused on reliability, evaluation, and systematic testing rather than just prompt engineering. /lilistrongFunctional programming enthusiasm /strong—personal projects or contributions to FP ecosystems; understanding of monads, type systems, or category theory. /lilistrongEnterprise software experience /strong—authentication systems, multi-tenancy, observability, or building APIs that other developers actually use. /lilistrongInterest in AI safety/explainability /strong—genuine curiosity about making AI systems transparent, auditable, and mathematically sound. /liliHands-on mentorship from experienced AI engineers and researchers. /liliOpportunity to work on real projects with impact in the AI reliability space. /liliFlexible, remote-first working environment. /liliA chance to grow your skills and transition into a full-time role in a fast-growing company. /liliAccess to state-of-the-art AI tools and learning resources. /li /ulpbr/p