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
mercor
Mercor is seeking a Lean Engineer to formalize mathematics and review AI-generated proofs for leading AI research labs. The role involves writing correct Lean 4 statements and proofs, ensuring fidelity to original mathematical results, and collaborating with researchers to maintain high-quality standards. This is a remote contract position requiring a strong background in proof-based mathematics and hands-on experience with Lean 4 and mathlib.
Headquarters
San Francisco, California, United States
Company Size
51-200 employees
Founded
2023
Mercor is a platform that organizes human intelligence to power the AI economy, providing frontier research, RLHF data, and AI agent training at scale for top AI labs and enterprises. It connects a global network of experts — spanning law, medicine, finance, technology, and more — to AI-driven work opportunities through its APEX, Research, and Enterprise offerings. Founded in 2023 and based in San Francisco, Mercor serves both businesses seeking human intelligence for AI development and professionals looking to contribute to the frontier of AI.
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 mercor.
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox