Description
Oath Technologies is hiring formal methods specialists and research 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 AI-agent containment experiments; taking ownership of technical problems; collaborating with a small research team; and helping set technical direction. Required qualifications include experience building adopted developer tools, AI-assisted workflows or applied AI/ML engineering, willingness to learn formal methods, and experience in ambitious research or engineering teams. Benefits include health, vision, and dental insurance, paid time off, life and AD&D coverage, and a 401(k) match.
