AI Oversight Formal Methods Engineer
Listed on 2026-10-07
-
IT/Tech
AI Engineer (Applied/Software) -
Engineering
AI Engineer (Applied/Software)
Oath Technologies in Berkeley is hiring research engineers to build formal methods tools for AI oversight and to apply them team will tackle difficult verification problems, integrate with AI agents, and push the boundaries of what is possible in oversight and containment.
Roles combine research and engineering, with opportunities to shape tool design, workflow, and collaboration across multifunction teams. Competitive salary and robust benefits are included for unicorn candidates.
The AI Oversight Formal Methods Engineer position in the IT & Technology, Engineering field is open for applications.
The position is based in Berkeley, CA, United States.
This opportunity is part of our work in IT & Technology, Engineering.
The advertised compensation is 250..
We aim to respond to suitable candidates as soon as possible.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).