Oath Technologies - Formal Methods Research Engineer
Convergent Research, Berkeley, CA
About the job
About Oath Technologies
Oath Technologies is a new research organization building tools for oversight of advanced AIs. As AIs become more powerful, it will become more difficult to understand and monitor their behavior. Oath is building oversight tools based on formal verification: rather than monitor AIs directly, humans define unambiguous rules, and AIs must provide trustworthy mathematical evidence of compliance. In this way, Oath will help keep humans safe and in control as AI advances.
Oath is a Focused Research Organization (FRO) incubated and fiscally sponsored by Convergent Research. Convergent has incubated 12 FROs spanning mathematics, astrophysics, neuroscience, climate, biology, and AI, including the Lean FRO (formal mathematics and verification) and E11 Bio (whole-brain circuit mapping). Oath is led by CEO Dr. Mike Dodds, and is based in Berkeley, CA.
Role Summary Oath's research engineers will build novel formal methods tools and apply them at scale to AI oversight problems. To do this, we are hiring both formal methods specialists and engineers with skills such as developer tools, scalable testing, agent development, AI/ML, and others that complement Oath's mission. Engineers may have skills in one or several areas, and our team will be tightly integrated, with both categories working together.