Lean Engineer | EA Opportunities Board

The Effective Altruism

Opportunities Board

Work on the world's most pressing problems. Browse jobs, fellowships, internships, courses, and more at high-impact organisations.

Get notified

Submit opportunity Send feedback

Get notified about new roles

Lean Engineer

ResolutionBerkeley, CA

Berkeley, CA

Today

AI safety & policy

Full-time

Salary

L4: $208,000 remote, $346,000 in person – L5: $270,000 remote, $451,000 in person – L6: $402,000 remote, $670,000 in person – L7: $558,000 remote, $930,000 in person

Routes to impact

Direct high impact on an important cause

Description

Lead Lean strategy and infrastructure for AI-assisted formalization across multiple research teams.

Set Lean conventions, architecture, and review structures for agent-written proofs
Build proof harnesses, workflows, and shared libraries for reliable autoformalization
Consolidate overlapping formalizations and shared foundations across projects
Support custom tools, tactics, and workflows for researchers and engineers

This text was generated by AI. If you notice any inconsistencies, please let us know using this form.

View opportunity

Related opportunities

Research Scientist

ResolutionBerkeley, CA / London, UK / Remote

Berkeley, CA / London, UK / Remote

3 months ago