Research Engineer: AI Oversight & Formal Methods

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

Benefits offered by this job

Health insurance

Time off and holidays

Life and AD&D insurance

401(k) match

Job summary

Oath Technologies, a research organization building formal verification tools for AI oversight, is hiring research engineers to develop scalable, high-impact tools. The team focuses on three families—design, lifting, and audit—and targets verified containment of AI agents with Lean or related infrastructure.

The role blends research and engineering to tackle challenging verification problems at scale. Join a tight-knit team shaping the future of AI safety, collaborating with AI agents in daily

Qualifications

• Experience building toolchains engineers adopt: IDE integrations, language servers, CLI tooling.
• Experience with AI-assisted developer workflows, agent scaffolding, or applied AI/ML engineering.
• Comfort picking up formal methods concepts on the job, even without prior depth in the area.
• Experience working in research and/or engineering teams delivering ambitious results.
• An ability to learn quickly, build quickly, and pivot when necessary.

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

IDE integrations

Language servers

CLI tooling

Build-system integration

AI-assisted workflows

Agent scaffolding

Applied AI/ML engineering

Formal methods

Research collaboration

Learning quickly

Job description

Oath Technologies, a research organization building formal verification tools for AI oversight, is hiring research engineers to develop scalable, high-impact tools. The team focuses on three families—design, lifting, and audit—and targets verified containment of AI agents with Lean or related infrastructure.

The role blends research and engineering to tackle challenging verification problems at scale. Join a tight-knit team shaping the future of AI safety, collaborating with AI agents in daily