Description
Oath Technologies is hiring formal methods specialists and engineers to build and scale formal-verification tools for AI oversight. The role involves developing tools for specification design, lifting, and auditing; applying them to large-scale experiments such as verified agent containment; taking ownership of complex problems; collaborating with a small research and engineering team; and contributing to technical direction. Required qualifications include experience building formal methods tools in production, direct experience with proof assistants, SMT solvers, or related tools, a background in programming language theory or deploying formal methods, and experience in research or engineering teams. Benefits include health, vision, and dental insurance, paid time off, life and AD&D coverage, and a 401(k) match.
