Skip to main content

Convergent Research

Oath Technologies - Formal Methods Research Engineer

Berkeley, CA$250k–$385kfull timemidAdded 2 days ago

About this role

Oath Technologies seeks a Formal Methods Research Engineer to develop verification tools for AI oversight in Berkeley. You'll work on formal verification systems that enable AIs to provide mathematical proof of compliance with human-defined rules, supporting safe and controllable AI advancement.

What you'll do

  • Design and implement formal verification systems for AI compliance checking
  • Develop mathematical frameworks for expressing and proving AI behavior constraints
  • Build tools that generate trustworthy evidence of AI system adherence to safety rules
  • Collaborate with researchers to translate oversight requirements into formal specifications
  • Contribute to the architecture of verification infrastructure for advanced AI systems
  • Conduct research on novel approaches to AI transparency and compliance verification

What they're looking for

  • Formal methods and mathematical logic
  • Theorem proving or formal verification tools (Lean, Coq, Z3, etc.)
  • Programming in systems languages (Rust, C++, or similar)
  • AI/ML systems understanding
  • Software architecture and design
  • Research and technical writing
  • Problem-solving in theoretical computer science
  • Version control and collaborative development
Apply with Autofill

Opens the application — the Jobs AI extension fills it for you. Set up autofill

Opens the official application on the employer’s site. No login required.

Convergent Research

Convergent Research develops continuous molecular monitoring technology through innovative biosensors and bioelectronics applications. The organization is hiring protein engineers and bioelectronics engineers to design allosteric protein switches, integrate biosensors with hardware, and advance real-world biosensing from lab to in vivo testing.

View all jobs at Convergent Research

Likely interview questions

  • What experience do you have with formal verification tools, and how have you applied them to real-world systems?
  • Describe a complex technical problem you solved using formal methods or mathematical reasoning.
Unlock all 7 questions free — and practice them live →