Lean Engineer
Resolution Agency
- Salary
- $208k - $930k
- Experience
- 3+ yrs
- Location
- Berkeley, California, United States
- Job type
- Full-time
About the role
Several years writing Lean and mathlib, Lean community expertise, AI-assisted autoformalization experience, clear communication, and a strong mathematics or theoretical computer science background with a relevant bachelor's degree.
About Resolution Agency
Nonprofit AI safety research organization using theory and automation to improve alignment of artificial superintelligence.
This page is fully interactive when JavaScript is enabled. Please enable JavaScript to apply or browse related roles.
