Research Engineer

Oath Technologies is seeking a Research Engineer to build novel formal methods tools and apply them at scale to AI oversight problems. The role involves collaborating with a small, high-context team to develop, test, and iterate on verification tools for complex AI systems. Engineers will work on designing specifications, lifting existing ones, and auditing for gaps, primarily using Lean or adjacent formal-verification infrastructure. This position offers the opportunity to tackle high-stakes challenges in a nimble, collaborative research environment.