Oath Technologies - Research Engineer, Tools & Infrastructure
Core
Building novel formal methods tools and applying them at scale to AI oversight problems, specifically verified agent containment.
Role type
Research Engineer, Tools & Infrastructure
Builds
Formal verification tools (design, lifting, audit families) for AI oversight
Domain
AI Safety / Formal Verification / Developer Tools
Deliverable
production ML models | product features
Required skills
Developer tooling (IDE integrations, language servers, CLI, build systems), AI/ML engineering, Agent development, Rapid prototyping, Problem framing, Technical documentation
Preferred skills
Coding agents, AI risk knowledge, Passion for deep technical topics
Technologies
Lean, Linux kernel primitives, OCI container runtime
Responsibilities
Contribute to research goals by building and applying tools to real systems; Scale tools for large, long-running experiments; Take deep ownership of problems from framing to delivery; Collaborate with a small team using AI agents in daily workflow; Help set technical direction as the team grows; Document work and reasoning.