Oath is hiring research engineers in Berkeley, California.
We are building novel formal methods tools and applying 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, scalable testing, agent development, AI/ML, and others that complement Oath’s mission. Engineers may have skills in one or several areas, and our team is tightly integrated, with both kinds of engineer working together.
Our tools fall into three families: design (authoring new specifications), lifting (extracting specifications from existing systems that have none), and audit (stress-testing specifications for gaps or adversarial manipulation). We’re applying these to a first flagship target, verified agent containment: proving that an AI agent can’t escape the permissions and sandboxing meant to bound it, from the OCI container runtime down to Linux kernel isolation primitives. Most of this work is done in Lean or adjacent formal verification infrastructure, with AI agents doing much of the day-to-day drafting and proving under close review.
All current openings are listed on our Lever page. Questions? Write to contact@oath.tech.