Convergent Research is a focused research organization for conducting non-profit science projects and research. Backed by Protocol Labs.
About the role
Contribute directly to Oath's research goals: building tools, applying them to real systems, and iterating based on what works. Help scale Oath's tools to large, long-running experiments intended to map the frontiers of AI oversight capabilities.
What they're looking for
- Experience building formal methods tools for use in production environments
- Direct experience with proof assistants (Lean, Coq, Isabelle), SMT solvers, or related tools
- Background in programming language theory, or in taking formal methods from research into deployed systems
- Experience working in research and/or engineering teams delivering ambitious results
- An ability to learn quickly, build quickly, and pivot when necessary
- Experience using coding agents or other AI tools for ambitious technical projects
More about this role
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.
Oath's research engineers will build novel formal methods tools and apply them at scale to AI oversight problems. To do this, we are hiring both formal methods specialists and engineers with skills such as developer tools, scalable testing, agent development, AI/ML, and others that complement Oath's mission. Engineers...
Browse similar: Startup jobs · San Francisco Bay Area