ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
resolution
This role focuses on establishing and scaling Lean and autoformalization practices across the organization to accelerate theoretical research. The position involves building shared libraries, defining review structures, and ensuring the reliability of AI-generated formalizations. The ideal candidate will provide strategic guidance and expertise to support researchers and engineers in their Lean efforts.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for resolution.
292% above the average for this role
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
mercor