Lean Engineer is open at Resolution in Berkeley, California (hybrid). The posting gives no salary; similar roles in the United States advertise a median of $194K. Posted on Oct 6, 2026, and still on Resolution’s careers page when we last checked, on Nov 14, 2026.
About the role
You would be responsible for making Resolution good at Lean at scale. At the highest level, this means providing taste and expertise in Lean and autoformalization. Resolution already houses several Lean users, but none of us are experts. So far we’ve gotten by on using AI agents to write Lean for us and on our general mathematics and software-engineering judgment. But this is not enough as our Lean efforts continue…
The opening lines of the posting. The rest is on Resolution’s careers page.
Hiring at Resolution
Resolution has 5 open roles right now. Most are in Engineering, Security and Data & Research. See all its roles
