AI Oversight: Formal Methods Engineer
Listed on 2026-10-07
-
Software Development
AI Engineer (Applied/Software)
Oath Technologies, a focused research organization under Convergent Research, is hiring research engineers to build formal methods tools and apply them at scale to AI oversight problems. Roles span formal methods specialists and engineers, collaboratively driving verification, testing, and AI-assisted workflows.
The team will grow from six to about twelve, tackling challenging verification tasks from design to audit, with a strong emphasis on rigorous reasoning and safe AI governance.
Are you ready to take on the AI Oversight:
Formal Methods Engineer role at Convergent Research?
We appreciate your interest in this position.
Join Convergent Research and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the AI Oversight:
Formal Methods Engineer role at Convergent Research, based in Berkeley, CA, United States.
(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).