Is the Formal Mathematician – Fully Remote role remote?

Yes, this opportunity is primarily Remote, allowing you to work flexibly.

How can I apply for the Formal Mathematician – Fully Remote job?

You can apply directly on our website by clicking the Apply Now button and uploading your resume/CV.

Formal Mathematician – Fully Remote

Mercor — Toronto, Ontario

Remote Full-Time Oct 7, 2026

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.

Ready to apply?

Take the next step in your career today

Apply Now

Job Details

Company
Mercor

Location
Toronto, Ontario

Type
Full-Time

Posted
07/10/2026

Quick Apply

Similar Jobs

Senior Data Scientist (Remote) Maximus

Nurse Practitioner or Physician Associate – Sr Community Care – Remote UnitedHealth Group

Independent End Point Assessor- Outdoor Activity Instructor NCFE

Drupal Developer – REMOTE – Part time work Indus River Technologies Inc.

Software Engineer – AI SHI