Mercor
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Pay: $90 to $110 / hour
- Contract: Part time
- Who can apply: Open worldwide
Posted Sep 30, 2026
Every remote job offer, updated every day.
Pay: $90 to $110 / hour
Pay: $100 / hour
Pay: $70 / hour
Pay: $100 to $120 / hour
Pay: $100 to $120 / hour
Pay: $100 to $120 / hour
Pay: $100 to $120 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $80 to $110 / hour
Pay: $50 to $100 / hour
Pay: $70 to $110 / hour
Pay: $100 to $200 / hour
Pay: $45 to $60 / hour
Pay: $100 to $140 / hour