Lean Engineer - Formal Mathematics
Toronto, ON$90–$110/hr
Mercor
Candidates need hands-on Lean 4 proof experience, comfort with mathlib and tactics, and a background in proof-based mathematics, computer science or logic. They must work at least 20 hours a week on weekdays and communicate clearly in writing.
Lean 4, mathlib