Lean Engineer - Formal Mathematics
Toronto, ON90–110 $/h
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