AI Oversight: Formal Methods Engineer

Convergent Research; Berkeley (CA); On-site; USD 250,000 - 385,000; Full time

Benefits offered by this job

Health, vision, and dental insurance

Generous time off + paid holidays

Company-paid life and AD&D

Company 401(k) match up to 6%

Job summary

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.

Qualifications

• Experience building formal methods tools for 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.
• Helpful, but not required: experience using coding agents or other AI tools for ambitious technical projects.
• Helpful, but not required: knowledge of AI risks generally, and alignment with Oath's mission to counter AI risks.
• Helpful, but not required: a broad enthusiasm for deeply technical topics, and a passion for ideas.

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.

Skills

Formal methods tools

Proof assistants

Programming language theory

Research/engineering teamwork

Fast learning / building

AI tools experience

AI risk knowledge

Technical curiosity

Job description

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.