---
title: "Oath Technologies - Formal… at Echo Labs – Berkeley, CA"
canonical: "https://www.metaintro.com/job/oath-technologies-formal-methods-research-engineer-at-echo-labs-e0aedb87-a616-5d60-add0-1c97c3035016"
language: "en"
author: "Metaintro"
---

[/company/echo-labs](/company/echo-labs)[Echo Labs](/company/echo-labs)
# Oath Technologies - Formal Methods Research Engineer at Echo Labs

Department: Oath Technologies

Compensation

$250,000 – $385,000/yr

**Setup**
: On-site

**Location**
: Berkeley, California

**Type**
: Full-time

**Level**
: not_specified

**Posted**
: Sep 9, 2026

## Description

Oath Technologies is hiring formal methods specialists and engineers to build and scale formal-verification tools for AI oversight. The role involves developing tools for specification design, lifting, and auditing; applying them to large-scale experiments such as verified agent containment; taking ownership of complex problems; collaborating with a small research and engineering team; and contributing to technical direction. Required qualifications include experience building formal methods tools in production, direct experience with proof assistants, SMT solvers, or related tools, a background in programming language theory or deploying formal methods, and experience in research or engineering teams. Benefits include health, vision, and dental insurance, paid time off, life and AD&D coverage, and a 401(k) match.

## Trending job searches

Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.

- [Find Oath Technologies - Formal Methods Research Engineer jobs in Berkeley, California, United States](/jobs/search?q=Find+Oath+Technologies+-+Formal+Methods+Research+Engineer+jobs+in+Berkeley%2C+California%2C+United+States)
- [Find roles similar to Oath Technologies - Formal Methods Research Engineer in Berkeley, California, United States](/jobs/search?q=Find+roles+similar+to+Oath+Technologies+-+Formal+Methods+Research+Engineer+in+Berkeley%2C+California%2C+United+States)
- [Find Oath Technologies - Formal Methods Research Engineer jobs with Formal methods and Proof assistants](/jobs/search?q=Find+Oath+Technologies+-+Formal+Methods+Research+Engineer+jobs+with+Formal+methods+and+Proof+assistants)
- [Find jobs similar to Oath Technologies - Formal Methods Research Engineer](/jobs/search?q=Find+jobs+similar+to+Oath+Technologies+-+Formal+Methods+Research+Engineer)
- [Find Oath Technologies - Formal Methods Research Engineer jobs posted this week](/jobs/search?q=Find+Oath+Technologies+-+Formal+Methods+Research+Engineer+jobs+posted+this+week)
- [Find Oath Technologies - Formal Methods Research Engineer jobs paying $250,000 or more per year](/jobs/search?q=Find+Oath+Technologies+-+Formal+Methods+Research+Engineer+jobs+paying+%24250%2C000+or+more+per+year)
- [Find Science, Technology, Engineering, and Math jobs in Berkeley, California, United States](/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+in+Berkeley%2C+California%2C+United+States)
- [Find Science, Technology, Engineering, and Math jobs with Formal methods and Proof assistants](/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+with+Formal+methods+and+Proof+assistants)

## Get More from Metaintro

Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.

- [Browse all jobs](/jobs/search)
- [Access help center](/help)
- [Explore our content](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

For job seekers

## Ready to find a role that actually fits?

Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.

[Get Started Free](/signup)[Search matching jobs](/jobs/search)

Match

Compare live roles against your current evidence.

Position

Turn proof projects into role-specific applications.

Improve

Use market feedback to keep the skill plan current.

[Return to navigation](#main-navigation)