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 7 days ago

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

Mathematics PhD - Benchmark Specialist
$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
more than 2 months 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
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
8 days 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
12 days ago
Head of Advanced Mathematical Modelling
...the place for you! In 1984, we started out as a team of three engineers. Today, we have grown to become a global organization with over... ...About the role Kinaxis is seeking a Head of Advanced Mathematical Modelling to lead a team of Architects, Algorithm Developers, and...
Long term contract
Work at office
Remote work
Flexible hours
Kinaxis
Toronto, ON
1 day 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
5 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
7 days ago
SecOps Engineer
...Generation is the AI-native holding company re-engineering omnichannel retail. We acquire iconic... ...combining a Data Fabric, Automation Engine, proprietary tools, and shared services to... ...protecting our cloud footprint. This is a lean team. You will own a lot, move fast, and...
Full time
Internship
Work at office
Immediate start
Shift work
Csc Generation
Toronto, ON
20 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
13 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
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
a month 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
14 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
7 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
4 days 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
13 days ago
Staff Software Engineer Collections
$20k - $24k per year
...mobile applications and backend services. As a Staff Software Engineer — Collections , you will work across teams with customer faced... ...influencing partners across the organization without relying on formal authority. Ensure communication across leading teams to...
Long term contract
Full time
Temporary work
Work at office
Local area
Immediate start
Flexible hours
Nubank
Toronto, ON
4 days ago
Assistant Professor - Applied Mathematics
$140k - $190k per year
...Assistant Professor - Applied Mathematics Date Posted: 09/29/2026 Closing Date: 11/03/2026, 11:59PM ET Req ID: 48742 Job Category: Faculty - Tenure Stream (continuing) Faculty/Division: Faculty of Arts & Science Department: Department of Mathematics...
Full time
University of Toronto
Toronto, ON
3 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
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 - 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
4 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
14 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
3 days 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
22 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
Staff Software Engineer, User Targeting
$220k - $359.21k per year
...DO We’re looking for a Staff Software Engineer to join the User Targeting team as a hands... ...systems end to end, from the segmentation engine and data pipelines through the APIs and the... ...Professional development supported by formal career pathing, learning platforms, and a...
Full time
Part time
Internship
Manual labor
Work at office
Local area
Flexible hours
Braze
Toronto, ON
9 days 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

Do you want to receive more vacancies?

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