Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Part-time Mathematics AI training role (remote, United States, Canada, United Kingdom) listed by Mercor. Pay as listed: $90–$110/hr. Commitment: 20+ hrs/week.
- Pay (as listed by Mercor)
- $90–$110/hr · Hourly
- Commitment
- 20+ hrs/week
- Job type
- Part-time
- Location
- Remote · United States, Canada, United Kingdom, Europe
- Languages
- English
- Category
- Mathematics
Apply on Mercor — this is a referral link; we may receive a reward if you’re hired, at no cost to you.
Listed by Mercor. Details can change, so confirm on Mercor before applying.