# Oath Technologies - Formal Methods Research Engineer at Convergent Research

- Company: Convergent Research
- What the company does: Convergent Research is a focused research organization for conducting non-profit science projects and research. Backed by Protocol Labs.
- Company website: https://convergentresearch.org
- Type: Startups
- Level: Mid level
- Location: Berkeley, CA
- Work setup: On-site
- Pay: $250K to $385K base salary per year (USD)
- Posted: 2026-09-09
- Apply by: 2026-10-24
- Apply: https://jobs.lever.co/convergentresearch/87a70993-3dbd-480a-9fe2-221628639f07
- Page: https://www.1752.vc/careers/jobs/convergent-research-oath-technologies-formal-methods-research-engineer/

## About the role

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.

## What they're looking for

- 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
- Experience using coding agents or other AI tools for ambitious technical projects

Tags: Oath Technologies