← All roles

Oath Technologies - Formal Methods Research Engineer

Convergent Research· Oath Technologies
Apply on company site
Berkeley, CA$250k - $385kFull-timePosted 1mo ago

About the role

Formal Methods Research Engineer role at Oath Technologies focusing on building tools for oversight of advanced AIs using formal verification, with a blend of formal methods specialists and engineers working on design, lifting, and audit tool families to address verified agent containment and AI risk.

Responsibilities

  • Contribute directly to Oath's research goals: building tools, applying them to real systems, and iterating based on what works.
  • Help scale Oath's tools to large, long-running experiments intended to map the frontiers of AI oversight capabilities.
  • Take deep ownership of problems, from framing the question, to overcoming obstacles, to delivering a working solution.
  • Collaborate closely with a small, high-context team, including significant use of AI agents as part of the day-to-day workflow.
  • Help set technical direction as the team and its workstreams grow, not just execute someone else's plan.
  • Document your work and reasoning so it doesn't stay trapped in one person's head.

Qualifications

  • Experience building formal methods tools for use in production environments.
  • Direct experience with proof assistants (Lean, Coq, Isabelle), SMT solvers, or related tools.
  • Background in programming language theory, or in taking formal methods from research into deployed systems.
  • Experience working in research and/or engineering teams delivering ambitious results.
  • An ability to learn quickly, build quickly, and pivot when necessary.

Skills

Required:Formal methods toolingProof assistants / SMT solvers

Benefits

  • Health, vision, and dental insurance
  • Generous time off + paid holidays
  • Company-paid life and AD&D, with voluntary supplemental options
  • Company 401(k) match up to 6%
Last updated Oct 21, 2026. Interested? Apply on the company site.

About Convergent Research

A mission control for frontier technology

A mission control for frontier technology

scientific infrastructurefrontier technologyresearchpublic goodstechnology development
Company profileWebsite

More open roles at Convergent Research