$170-200/hr per hour (paid to the worker)
Lean 4 Proof Engineer - Mathematical Formalization (Alignerr)
Dated 11 Oct 2026Source checked 11 Oct 2026Quote found on its page again 17 Oct 2026Basis: stated
In the source's own words
“Lean 4 Proof Engineer - Mathematical Formalization ... $170-200/hr”
Where it was read
Alignerr job board, checked 11 Oct 2026
What it is about
Figures it counts in
It is shown on its own, not counted into a figure.