Oath Technologies - Formal Methods Research Engineer
Sign up free to see how well your resume matches this role.
What you'll do
- Build tools for oversight of advanced AIs based on formal verification
- Define unambiguous rules for AI behavior
- Provide trustworthy mathematical evidence of AI compliance
Summarised by NextRaise from the employer’s description, which follows in full below.
Full description from employer
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.
Company
Company facts come from this company's own listings. We only show what the postings themselves carry.