Oath Technologies - Formal Methods Research Engineer
Convergentresearch · Berkeley, CA
Posted 7 days ago
or apply directly on Convergentresearch's site. We never take the application ourselves.
Is this posting real?
- This role has been open
- 7 days Convergentresearch's roles stay open a median of 40 days
- Reposted
- No
- Salary listed
- No 0% of Convergentresearch's roles list one
- Ghost-job risk at Convergentresearch
- low 0 stale, 1 reposted of 26 open
- Hiring momentum
- 27 roles opened in the last 90 days ↑ up vs. the prior 90 days
- Last confirmed on the employer's board
- 2026-09-17
Measured from postings appearing on and disappearing from Convergentresearch's own lever board since 2026-08-04. Full hiring picture for Convergentresearch.
About this role
The Formal Methods Research Engineer at Oath Technologies will focus on developing tools for the oversight of advanced AIs through formal verification methods. This involves defining unambiguous rules for AIs and ensuring they provide mathematical evidence of compliance, thereby enhancing human safety and control over AI behavior.
- benefits
- 2/5
- freshness
- 5/5
- career value
- 4/5
- role clarity
- 3/5
- pay transparency
- 0/5
Scored from the posting itself — how clearly the role is described, how much it says about pay and benefits, and how recently it was listed. Not a judgement of Convergentresearch as an employer.
What you get
- 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%
Worth weighing
- No specific qualifications or skills listed for the role
- Focus on formal verification may imply a niche skill set
- The role is part of a new research organization, which may involve uncertainty in job scope
Summarised from Convergentresearch's posting. Read the full original.
Listed by Convergentresearch on their lever job board, last confirmed open on 2026-09-17. PitchMeAI is not the employer.
More roles at Convergentresearch
- Partner, AI ResilienceNew York, NY or Remote U.S.
- Pitch us a roleSan Francisco, CA
- Head of Clinical ScienceSan Francisco, CA
- Research Hardware EngineerSan Francisco, CA
- Clinical Operations LeadSan Francisco, CA
- Research Scientist, Data AnalysisSan Francisco, CA
- Operations LeadSan Francisco, CA
- Human NeuroscientistSan Francisco, CA