hirly
Sign inGet started free

Convergent Research

Oath Technologies - Formal Methods Research Engineer

Berkeley, CA

See how you match this job — and similar ones. Free.

Upload your resume and hirly scores it against this role at Convergent Research first, then against similar open jobs, and shows where you fit and why.

PDF or DOCX, up to 12MB. No sign-up to see your matches.

Get past the screening software and onto a recruiter's desk

hirly rewrites your resume for this job — matching the keywords and skills in the posting, moving your most relevant experience to the top, and writing a cover letter to fit. About 30 seconds.

  • Keywords matched to this posting
  • Fit score before you apply
  • Cover letter included

Matched against 2.5M live jobs from 200,000+ employers in 200+ countries.

Tailor my resume for this job →

Apply from your AI assistant

Connect hirly to Claude and ask it to apply to this job. hirly tailors your resume, fills the employer’s form and asks before sending. ChatGPT: manual setup today.

See how it works

Some employer sites stop an application at a CAPTCHA or sign-in and hand it back with a link. Applying needs a paid plan. Works with any assistant that supports MCP.

hirly's read of this role

Seniority
Mid level
Stated salary
$250,000 – $385,000 per year
Country
US
Work mode
On-site / unstated
First seen by hirly
10 Sept 2026

Derived automatically from the posting. Upload your resume above to see how the role scores against it.

the posting

About Oath Technologies

Oath Technologies is a new research organization building tools for oversight of advanced AIs. As AIs become more powerful, it will become more difficult to understand and monitor their behavior. Oath is building oversight tools based on formal verification: rather than monitor AIs directly, humans define unambiguous rules, and AIs must provide trustworthy mathematical evidence of compliance. In this way, Oath will help keep humans safe and in control as AI advances.

Oath is a Focused Research Organization (FRO) incubated and fiscally sponsored by Convergent Research. Convergent has incubated 12 FROs spanning mathematics, astrophysics, neuroscience, climate, biology, and AI, including the Lean FRO (formal mathematics and verification) and E11 Bio (whole-brain circuit mapping). Oath is led by CEO Dr. Mike Dodds, and is based in Berkeley, CA.

Original posting on Convergent Research's site ↗

Similar jobs

Browse similar roles

Want this one?

Upload your resume and hirly rewrites it for this job and writes the cover letter — in about thirty seconds, before you sign up.

Tailor my resume for this job