Lean Engineer – Formal Mathematics
Mercor — Toronto, Ontario
Remote Full-Time
Oct 7, 2026
Apply Now →
About This Position
About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark , General Catalyst , Peter Thiel , Adam D’Angelo , Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs that comp…
Frequently Asked Questions
How do I apply?
Click the Apply Now button to submit your application directly to the employer.
Is this remote?
Yes, this is a remote position.
Similar Jobs
Trauma-Focused Licensed Mental Health Therapist
Maricopa Counseling, LLC
Travelling Nurse
Talent Quarter Pty Limited
PHYSICIAN – FAMILY PRACTICE
Johns Hopkins Medicine
Online Promotions Tester – Part-Time
Edge Projects