Lean Engineer - Formal Mathematics

$90 - $110 per hour

Mercor

Remote job

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 compile against current mathlib . Cover areas such as algebra, analysis, number theory, combinatorics, and logic.
Formalize natural-language mathematics from competition problems and textbook results to research-level lemmas. Ensure the formal statement matches the original.
Review AI-generated Lean statements and proofs. Identify failures or incorrect proofs and provide clear, specific written feedback.
Help define guidelines and rubrics for proof quality, statement fidelity, and mathlib conventions.
Collaborate with other Lean engineers and the lab's researchers to maintain consistent standards and elevate quality.

Qualifications

Must-Have

Hands-on experience writing formal proofs in Lean 4 . Examples include mathlib contributions, a formalization project, or a Lean library or tool.
Comfort with mathlib and Lean 4 tactics. Ability to find and use the right lemmas.
Strong background in proof-based mathematics, theoretical computer science, or logic through a degree or research record.
Ability to turn a written statement and proof into a correct formal statement and a proof that checks.
Engage reliably for at least 20 hours/week during weekdays.
Clear written communication and ability to explain proof strategy and formalization choices precisely.

Preferred

Experience with other proof assistants or dependently typed languages ( Coq/Rocq , Isabelle , Agda , Haskell ).
Experience with Lean metaprogramming or AI-for-math work such as LLM provers , Lean agent environments, or benchmarks like miniF2F , ProofNet , or PutnamBench .

Compensation & Legal

W-2 employment with Cincinnatus LLC .
Equal Employment Opportunity employer.

Application Process (Takes 20–30 mins to complete)

Upload resume
AI interview based on your resume
Submit form

Resources & Support

For details about the interview process and platform information, please check:
For any help or support, reach out to: Show email

PS: Our team reviews applications daily. Please complete your AI interview and application steps to be considered for this opportunity.

Vacancy posted 8 days ago

Similar jobs that could be interesting for youBased on the Lean Engineer - Formal Mathematics in Toronto, ON vacancy

Mathematics Specialist - Fully Remote
$61 - $77 per hour
..., Larry Summers , and Jack Dorsey . Position: Applied Mathematics Benchmark Specialist Type: Contract Compensation... ...Strong command of graduate-level mathematical concepts and formal proof writing. Excellent written English and ability to express...
Suggested
Full time
Contract work
Summer work
Remote work
Mercor
Toronto, ON
2 days ago
Mathematics Chart Analysis Specialist
$67 - $75 per hour
...include Benchmark , General Catalyst , Peter Thiel , Adam D'Angelo , Larry Summers , and Jack Dorsey . Position: Mathematics Chart Analysis Expert Type: Contract Compensation: $67–$75/hour Location: Remote Commitment:...
Suggested
Hourly pay
Full time
Contract work
For contractors
Summer work
Remote work
Flexible hours
Mercor
Toronto, ON
more than 2 months ago
Curriculum Specialist (Intermediate/Senior Mathematics)
$91.27k - $97.17k per year
...Position Title: Curriculum Specialist (Intermediate/Senior Mathematics) Employment Type: Full-time Contract (12-Month) | Union Salary range: $91,270.73 - $97,165.35 Division: Education Reports To: Manager, Curriculum Location: Toronto, Yonge & Eglinton...
Suggested
Full time
Contract work
Immediate start
TVO Career
Toronto, ON
more than 2 months ago
Applied Mathematics Specialist - Fully Remote
$70 - $90 per hour
...Catalyst , Peter Thiel , Adam D'Angelo , Larry Summers , and Jack Dorsey . Position: Computational Statistics and Applied Mathematics Expert (R, Python, and Matlab/Scilab) Type: Contract Compensation: $70–$90/hour Location: Remote...
Suggested
Full time
Contract work
Summer work
Remote work
Mercor
Toronto, ON
more than 2 months ago
Manufacturing Engineer
$70k - $85k per year
...growth, Array is seeking a Manufacturing Engineer to join our team. This role is ideal for... ...introductions (NPI) and product launches through formal gate review processes Experience... ...and cost analysis Exposure to Kaizen, Lean, Continuous Improvement, or CI team initiatives...
Suggested
Long term contract
Full time
Contract work
Array Marketing
Toronto, ON
more than 2 months ago
Manufacturing Process Engineer
...Description Role: Manufacturing Process Engineer Location: Etobicoke & Mississauga, Ontario Company: Stelumar Advanced... ..., integrity, and ethical conduct. Bonus Points Lean Six Sigma or PMP designations. Experience in highly automated...
Permanent employment
Full time
Work at office
Stelumar Advanced Manufacturing Inc.
Toronto, ON
5 days ago
Data Engineer
...high-value sales intelligence. Leading infrastructure vendors, engineering firms, and construction companies use the platform to identify and... ...project priorities, and influence scope before projects move to formal procurement. Citylitics combines a network of AI agents, fine...
Full time
Work at office
Immediate start
3 days per week
Citylitics Inc.
Toronto, ON
17 days ago
Technical Sales Engineer
...Our Business: Engineered Intelligence is a utility infrastructure technology company headquartered in Calgary with offices in Toronto... ...biggest decision, we own the outcome. Who we are: We are a lean, well- established, mid-size company experiencing sustained,...
Remote job
Long term contract
Full time
Temporary work
Work at office
Local area
Flexible hours
Engineered Intelligence Inc.
Toronto, ON
8 days ago
Full-Stack Engineer - Backend Leaning (Remote)
...intelligent workflows, with a strong emphasis on backend reliability and speed of execution. Were looking for a Full-Stack Engineer (backend-leaning) who can take ownership of features end to end. The role is approximately 70% backend and 30% frontend , ideal for...
Remote job
Immediate start
Flexible hours
PRAGMATIKE
Toronto, ON
more than 2 months ago
Data Engineer I
...because learning never stops. The Adventure Ahead As our Data Engineer I, you will build and fine-tune the robust cloud data pipelines... ...: Bachelor’s degree in Computer Science, Engineering, Mathematics, or a related technical field (or equivalent practical experience...
Full time
For contractors
Work at office
Worldwide
3 days per week
Docebo
Toronto, ON
22 days ago
Vice President, Engineering
...continue to grow, we’re looking for a VP, Engineering to fill an existing vacancy and join our... ...metrics, and appropriate use of Agile or Lean methodologies. ~ Demonstrated ability to... ...you with a verbal offer, followed by a formal offer letter via email. If the timing was...
Remote job
Long term contract
Full time
For contractors
Summer work
Local area
Flexible hours
Weekend work
Psd Pty Ltd
Toronto, ON
more than 2 months ago
Applied AI Engineer
$140k - $160k per year
...And we'd love for you to join us! About the job - Applied AI Engineer Join the Engineering Team, where you'll help build our agentic... ...Bachelor's degree (or higher) in Computer Science, Statistics, Mathematics, or Engineering, or equivalent practical experience. ~3+...
Full time
Manual labor
Work at office
Worldwide
1 day per week
Contactmonkey
Toronto, ON
14 days ago
Senior Analytics Engineer
$5000 per month
...stopping by Lightspeed's Data Office is hiring a Senior Analytics Engineer to design and own the data models that drive decisions across... ...make an impact in a team that’s big enough for career growth, but lean enough to make your voice heard Career-defining opportunities...
Full time
Work at office
Immediate start
Remote work
Flexible hours
Lightspeed Commerce
Toronto, ON
16 days ago
IT Systems Engineer
...Our Business Engineered Intelligence (EII) is a utility infrastructure technology company headquartered... ...outcome. Who we are: We are a lean, well-established, mid-size company... ..., build, and day-to-day operation of ENGIN's corporate technology environment, with a...
Remote job
Long term contract
Full time
Temporary work
Work at office
Local area
Flexible hours
Engineered Intelligence Inc.
Toronto, ON
22 days ago
Assistant Professor - Applied Mathematics
$140k - $190k per year
...POSITION DESCRIPTION The Department of Mathematics in the Faculty of Arts & Science at the University of Toronto invites applications for one (1) full-time tenure stream position in the area of Applied Mathematics. The appointment will be at the rank of Assistant...
Permanent employment
Full time
University of Toronto
Toronto, ON
26 days ago
Senior AI Software Engineer
$150k - $200k per year
...already in daily use and continues to expand. This is the senior engineering role responsible for advancing its development. You will... ...environment. Experience mentoring developers and conducting formal code reviews. Qualifications Expert proficiency in Python...
Full time
Stikeman Elliott Llp
Toronto, ON
8 days ago
Software Engineer II
$125.28k - $210.6k per year
...to meet you. WHAT YOU'LL DO We’re looking for a Software Engineer II to join our WhatsApp team. Our team is responsible for building... ...paid parental leave Professional development supported by formal career pathing, learning platforms, and a yearly learning stipend...
Full time
Internship
Work at office
Local area
Flexible hours
Braze
Toronto, ON
23 days ago
Senior Forward Deployed Engineer (10570) Toronto, Canada
$120k - $130k per year
...Title of position: Senior Forward Deployed Engineer Position type: Full time - Hybrid... ...Computer Engineering, Electrical Engineering, Mathematics, or a related technical discipline, or... ...during the interview process and in the formal offer of employment. We may use artificial...
Full time
Local area
Work from home
Work visa
Flexible hours
Extreme Networks
Toronto, ON
13 days ago
Manager, Site Reliability Engineering
$150k - $185k per year
...the right place! We’re looking for a Manager, Site Reliability Engineering to lead 2 teams of 4-6 platform engineers with a wide scope... ...make an impact in a team that’s big enough for career growth, but lean enough to make your voice heard Career-defining opportunities...
Long term contract
Full time
Remote work
Flexible hours
Lightspeed Commerce
Toronto, ON
16 days ago
Expert(e) Lean Construction
...TEHORA est à la recherche d’ un(e) Expert(e) LEAN Construction afin d’agir à titre de référence stratégique dans la transformation des pratiques de gestion de chantier et l’implantation des principes LEAN Construction à grande échelle. Responsabilités Définir les orientations...
Hourly pay
Full time
Contract work
Apprenticeship
Remote work
Flexible hours
TEHORA
Toronto, ON
more than 2 months ago
Intern, Data Engineer (8 Months)
...PICTON Investments is presently seeking a dynamic Intern, Data Engineer with a passion about Asset Management to join our Digital... ...Currently pursuing in an undergraduate degree in STEM programs (Mathematics, Computer Science, Computer Engineering, Business or any other...
Hourly pay
Long term contract
Internship
Immediate start
Flexible hours
Picton Mahoney Asset Management
Toronto, ON
1 day ago
Mathematics PhD - AI Evaluation Expert
$70 per hour
...Angelo , Larry Summers , and Jack Dorsey . Position: Mathematics PhD Coding Experts Type: Contract... ...reviewed journals. Prior scientific software or research engineering experience. Start Date ~ Immediate Interview...
Remote job
Contract work
Summer work
Immediate start
Mercor
Toronto, ON
a month ago
Senior Front End Engineer
...part of your daily workflow, with the judgement to know when to lean on them and when not to. Build AI-assisted workflows and internal... ...React Native or mobile experience. This role sits on web, but engineers who can move across both are a real advantage to us. Exposure...
Long term contract
Full time
Internship
Work at office
Remote work
Work from home
Worldwide
Shift work
2 days per week
3 days per week
Mejuri
Toronto, ON
22 days ago
Intern - Software Engineer, Winter 2027
...accelerated. We’re not just another bank—we’re Canada’s Challenger Bank™, lean, agile, and built for the digital age. If you’re passionate... ...gaining hands-on experience in digital financial services, our Engineering Internship Program is the opportunity you’ve been waiting for!...
Hourly pay
Permanent employment
Full time
Internship
Work at office
Eq Bank
Toronto, ON
13 days ago
Senior Software Engineer - Mobile Backend
$180k - $220k per year
...innovative problem-solving. BitGo is looking for a Senior Software Engineer (Backend) to join our Mobile team and help us build the first-... ...environment ~ Bachelor’s degree in computer science, applied mathematics, or another technical discipline from a top university ~...
Full time
Work at office
Worldwide
Bitgo
Toronto, ON
12 days ago
Senior Project Engineering Specialist
$90k - $119k per year
...can learn more about us at . Purpose: As a Sr Project Engineering Specialist, you enhance the company’s performance by: Designing... ...and ROI. Scope and develop comprehensive capital budget in a formal project investment proposal Prepare User Requirement...
Long term contract
Full time
For contractors
Riverside Natural Foods
Toronto, ON
23 days ago
Manufacturing Engineer
...Stelumar Advanced Manufacturing Inc. Role: Manufacturing Engineer , Cabinets Location: Etobicoke & Mississauga, ON... ...professionalism, integrity, and ethical conduct. Bonus Points · Lean Six Sigma or PMP designations are assets. · Experience in...
Full time
Work at office
Mattamy Homes
Toronto, ON
a month ago
Director of Engineering
$270k - $330k per year
...exciting new chapter of growth. We’re looking for a Director of Engineering to spearhead our core product teams through a period of rapid scaling... ...You are an energetic and results-oriented person, you will lean on your experience delivering results to add value to our business...
Full time
Internship
Work at office
Shift work
3 days per week
Relay
Toronto, ON
more than 2 months ago
Legal Engineer
...featuring Jude Law. Joining Legora means three things. We lean in: ownership over titles, outcomes over intentions. We fight... ...and confidently with diverse stakeholders, both lawyers and engineers. I.e. translating across disciplines is second nature to you....
Full time
Internship
Work at office
Shift work
Legora
Toronto, ON
more than 2 months ago
Software Engineer
$65k - $85k per year
...ROLE: SOFTWARE ENGINEER TEAM: MEDIA LOCATION: TORONTO (HYBRID) COMPANY OVERVIEW At Salt Media , we're on a mission to earn... ...Driven Culture: Dedicated Salt Days, top-tier learning access, and formal leadership development. Celebration-First Mentality:...
Full time
Seasonal work
Salt Xc
Toronto, ON
a month ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Lean Engineer - Formal Mathematics. Be the first to apply!