Mercor
last monthLean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1\. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathemat