Oath Technologies - Formal Methods Research Engineer
- Location
- Berkeley, CA
- Employment type
- full time
- Posted
- Posted
- Oath Technologies
- Full Time
About the 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.
More at Cultivarium
- Controller — Remote
- E11 Bio - Scientist I/II - Advanced Imaging — Alameda, California
- Meridial – Scientist – In Vivo Neurophysiology — London
- Meridial – Associate Scientist – In Vivo Neuroscience — London
- Meridial – Scientist – In Vivo Neuroscience — London
- Senior People Ops Manager - Payroll & Systems — Remote
- Oath Technologies - Chief of Staff — Berkeley, CA
- Staff Scientist, Modeling Applications — Boulder, CO
Listed via lever. JobForge is not the employer and does not process applications; apply on the company's own site.