Mirrai Careers

Oath Technologies - Formal Methods Research Engineer

Company hidden

Berkeley, CA Full-time$250k–$385k / year Posted 30+ days ago
Oath is a Focused Research Organization (FRO) incubated and fiscally sponsored by the company 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 Oath's research engineers will build novel formal methods tools and apply them at scale to AI oversight problems. To do this, we are hiring both formal methods specialists and engineers with skills such as developer tools,…

See the company and apply

Unlock to see who’s hiring, read the full description and apply on the company site.

Checking access…

Explore related jobs

Want more roles like this? Browse fresh jobs or tailor your resume with AI.