Oath Technologies - Formal Methods Research Engineer

The Oath Technologies - Formal Methods Research Engineer position at Convergent Research in Berkeley, CA is a full time role. 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.

Key skills for this role include: Rust.

The salary for this position is not publicly listed. You can negotiate during the interview process. Check Glassdoor or Levels.fyi for estimates.

This position is On-site. The role is based in Berkeley, CA.

You can apply for this position directly through the employer's careers page. Click the 'Apply Now' button on this page to be redirected to the original listing. Make sure your resume is ATS-optimized. Use SpotChange's free ATS test to check.