Lean Engineer - Formal Mathematics

Mercor, London, United Kingdom

What our tracking knows about this posting

Published on 10 October 2026 · first appeared in our records on 14 October 2026.

Stable posting: first seen on 14 October 2026, with no abnormal reposting.

This posting shows no salary, while 22% of open postings in the same sector in this country (United Kingdom) do.

View the posting at the employer Have my resume reviewed for this job
. Position: Lean Engineer , Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... and provide clear, specific written feedback. Help define guidelines and rubrics for proof quality , statement fidelity...

Other recent postings in the same sector