TheJobsMapLean FRO jobs and careers
Redmond, United States
About Lean FRO
Lean FRO is a nonprofit dedicated to advancing the Formal Mathematics revolution. The FRO’s purpose is to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant. Our 5-year mission is to empower Lean towards self-sustainability.
- Employees
- 11 to 50
- Headquarters
- Redmond
Leadership
The top of Lean FRO's org chart, with how many people report into each leader.
CC
Corinna Calhoun
Chief Operating Officer
1 report
AB
Ashley Blacquiere
Sr. Operations Manager
Jobs at Lean FRO
No open positions right now. Explore more companies on TheJobsMap.