[Job Radar](https://jobradar.live/) / [Jobs](https://jobradar.live/ilanlar) / Oath Technologies - Formal Methods Research Engineer

Active
On-site
Berkeley, CA
Posted · 09.09.2026
Lever (US)

# Oath Technologies - Formal Methods Research Engineer

Convergent Research

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.

This job was verified from Lever (US). Applications are completed on the original source.

[Apply on the original listing ↗](https://jobradar.live/ilan/39365972-3ce9-485e-b526-e759f1032ff1/git)

## Stop searching one by one for roles like this.

Upload your resume or enter your target roles to see your first 3 matches for free.

[Find jobs for me →](https://jobradar.live/uye/kayit)
Your resume is never shared with employers; it is processed only for matching.

Something wrong with this job?

## Similar jobs

[Convergent Research Jobs](https://jobradar.live/company/convergent-research) · [Jobs in California](https://jobradar.live/jobs/california)
· [Jobs by location](https://jobradar.live/jobs) · [Jobs by company](https://jobradar.live/company)

- [Cloud Operations Engineer](https://jobradar.live/ilan/ea612c7d-7a7f-45f4-9874-5c9e497c166f) Druva · Santa Clara, CA

- [Sr Director, Clinical Sciences](https://jobradar.live/ilan/9e20a741-d3ea-46ee-a24b-9a2cda6601b4) Tarsus Pharmaceuticals · Irvine, California, United States

- [Scientist, Pharmacology](https://jobradar.live/ilan/31557d77-e1fa-4c09-a1c6-dd6b98ba792f) Tarsus Pharmaceuticals · Irvine, California, United States

- [Manager II, Program Management - Late-Stage Development](https://jobradar.live/ilan/5e961db9-7da6-4176-913d-d58f4ba75ddc) Tarsus Pharmaceuticals · Irvine, California, United States

- [Director, Pharmacokinetics & Bioanalysis](https://jobradar.live/ilan/02f8da08-c291-4a0b-8b70-28e129ff6d03) Tarsus Pharmaceuticals · Irvine, California, United States

- [Director, Formulation Development](https://jobradar.live/ilan/8f1fde1d-ec2a-4609-b494-d5ddeb644d24) Tarsus Pharmaceuticals · Irvine, California, United States

- [Associate Director, Clinical Supply Chain](https://jobradar.live/ilan/bb7c052e-6207-4dce-b2f0-af826a727dc9) Tarsus Pharmaceuticals · Irvine, California, United States

- [Senior Sustainment Engineer](https://jobradar.live/ilan/9633e820-8027-4989-a26c-8a943df8a816) Aechelon Technology · South San Francisco, CA