Oath Technologies - Formal Methods Research Engineer
Core
Building novel formal methods tools to verify AI agent containment and ensure compliance with unambiguous rules.
Role type
Research Engineer (Formal Methods & AI Oversight)
Builds
Formal verification tools for AI agent containment (design, lifting, audit families)
Domain
AI Safety / Formal Verification / Computer Science
Deliverable
production ML models | product features
Required skills
formal methods tool development, proof assistants (Lean, Coq, Isabelle), SMT solvers, programming language theory, research-to-production transition
Preferred skills
coding agents/AI tools, AI risk knowledge, deep technical curiosity
Technologies
Lean, Coq, Isabelle, SMT solvers, Linux kernel primitives, OCI container runtime
Responsibilities
Contribute to research goals by building and applying tools to real systems; scale tools for large experiments; take deep ownership of problems from framing to delivery; collaborate with small teams using AI agents; help set technical direction; document work and reasoning.