Lean Engineer

In this role, you'll provide Lean expertise and build infrastructure to support autoformalization efforts across research divisions.
Create proof harnesses and code review workflows to ensure reliable agent autoformalization outputs at scale.
Develop and maintain shared Lean libraries with clear abstractions and architecture supporting automated research.
Consolidate overlapping formalizations and establish shared foundations for reuse across teams.
Support researchers in developing custom Lean tools, tactics, and workflows.

Desbloqueie com o Pro