$90-$110 per hour per hour (paid to the worker)
Lean Engineer, formal mathematics (Lean 4, Mathlib) (Mercor)
Dated 30 Sep 2026Source checked 11 Oct 2026Quote found on its page again 17 Oct 2026Basis: stated
In the source's own words
“Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) ... $90-$110 per hour”
Where it was read
Mercor job board, checked 11 Oct 2026
Everything read from this source (1)Archived copy, 10 Oct 2026
What it is about
Figures it counts in
It is shown on its own, not counted into a figure.