Lean EngineerNew
Resolution
Job AI safety & policy
- Where
- Hybrid: Hybrid · Berkeley, CA · USAHybrid, Berkeley, CA
- Level
- Mid career, 5–9 yrsMid5–9 yrs
- Pay
- $346k, top of range above $100k a year$346,000
- Apply by
- Rollingposted 6 Oct
- Hours and type
- Full-time
- Kind of work
- Technical & Engineering
- Added to CFI
- 8 October 2026Posted by employer 6 October 2026
- Network
- Not listed
About the role
Leads Lean and autoformalization work at an AI alignment research lab, setting conventions and review structures for agent-written proofs. Builds shared Lean libraries and tools for researchers.
Summary of the employer's page written by AI. Check the full listing before you apply.
Requires
Several years of Lean and mathlib experience; bachelor's in maths or theoretical CS
This role's deadline has passed, so it is no longer on the board. See open roles.