Oath Technologies - Formal Methods Research Engineer
Convergent Research · Berkeley, CA
Extracted from the posting
Oath Technologies is a Focused Research Organization in Berkeley, CA, incubated by Convergent Research, building formal verification tools for AI oversight. The research engineer role builds formal methods tools and applies them to verified agent containment, mostly in Lean with AI agents drafting and proving under review. The team combines formal methods specialists with engineers in developer tools, scalable testing, agent development, and AI/ML.
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
Primary Responsibilities
Qualifications
Our Benefits Include:
- Health, vision, and dental insurance
- Generous time off + paid holidays
- Company-paid life and AD&D, with voluntary supplemental options
- Company 401(k) match up to 6%
We are committed to creating an inclusive and diverse workplace where everyone has the opportunity to thrive. We believe in hiring individuals based on their unique talents—not on race, color, religion, ethnicity, gender, gender identity, sexual orientation, disability, age, military or veteran status, or any other characteristic protected by law or our company policies. We are more than a proud Equal Employment Opportunity employer. Our goal is to foster a healthy, safe, and respectful environment where all employees are valued and treated with dignity. Harassment of any kind is not tolerated here.
Compensation: USD 168,000 – 385,000 per year salary
