Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Mercor
$90–110 / hr
A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.
We may earn a referral fee if you're hired. It never costs you anything.