Formal Mathematician - Fully Remote
Mercor · Toronto, Ontario · 2026-10-07
About this role
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…
Similar jobs
Your next role is already in here.
Search live openings from thousands of employers, save the ones worth a second look, and let JobBob keep watch for the rest.