Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Mercor
$90–110 / hr
Science
Posted 2 days agoA 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.