TRECQ

Oath Technologies - Formal Methods Research Engineer

EngineeringSenioronsiteBerkeley, CA
Full TimePosted Sep 9, 2026

About this 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. 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.

About Convergentresearch

Interested?

Find the right person, then reach out. Trying more than one channel only helps your odds.

1
Find who to reach
Pick the person worth a direct note. Reveal a real email (one credit) or find a likely one.
New accounts start with 3 free reveals.
2
Reach out
Pick someone above, then draft an email or a LinkedIn note to them.
3
Or apply on their site
The front-door route, plus TRECQ drafts your application answers to paste.
Apply on Convergentresearch ↗
TRECQ writes your "why this company / why you" to paste into the form.