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 14 days ago
Similar jobs that could be interesting for youBased on the Formal Mathematician - Fully Remote | Up to $110/hr Part-time in London vacancy
$77 per hour
...Contract Compensation: $61–$77/hour Location: Remote Commitment: 10+ hours/week Role Responsibilities... ...Strong command of graduate-level mathematical concepts and formal proof writing. Excellent written English and ability to express...Remote jobSummer workMercor
Londonmore than 2 months ago$110 per hour
..., and Jack Dorsey . Position: Mathematical Physicist (PhD) Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 weeks Commitment: 10 hours/week Role Responsibilities Develop and solve...Remote jobSummer workMercor
London23 days ago$110 per hour
...Position: Statistical Physics and Thermodynamics Physicist (PhD) Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 weeks Commitment: 10 hours/week Role Responsibilities Evaluate research...Remote jobSummer workFlexible hoursMercor
London23 days ago$110 per hour
...Dorsey . Position: Atomic, Molecular and Optical Physicist (PhD) Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 week Commitment: 10 hours/week Role Responsibilities Evaluate the...Remote jobSummer workMercor
London23 days ago$110 per hour
...Jack Dorsey . Position: Stochastic Biophysics Physicist (PhD) Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 weeks Commitment: 10 hours/week Role Responsibilities Evaluate research...Remote jobSummer workMercor
London20 days ago$70 per hour
...Dorsey . Position: Mathematics PhD Coding Experts Type: Contract Compensation: $70/hour Location: Remote Duration: 6 weeks Commitment: 20+ hours/week Role Responsibilities Source original material from published...Remote jobSummer workImmediate startMercor
Londona month ago$110 per hour
...Larry Summers , and Jack Dorsey . Position: FP&A Expert Type: Contract Compensation: $70–$110/hour Location: Remote Role Responsibilities Review and QA AI-agent rollouts in Financial Forecaster . Judge agent answers against...Remote jobSummer workMercor
Londona month ago$110 per hour
...Angelo , Larry Summers , and Jack Dorsey . Position: Nurse Type: Contract Compensation: $75–$110/hour Location: Remote Role Responsibilities Confirm a medication is safe to administer against the patient's full active med...Remote jobSummer workMercor
Londonmore than 2 months ago$110 per hour
...Summers , and Jack Dorsey . Position: BioInformatics Experts Type: Contract Compensation: $90–$110/hour Location: Remote Role Responsibilities Complete realistic, multi-step scientific data-analysis tasks in bioinformatics ....Remote jobSummer workMercor
London7 days ago$110 per hour
...Engagements Type: Contract Compensation: $90–$110/hour Location: Remote Role Responsibilities Complete a ~15 minute... ...practice. Describe your day-to-day workflows, time allocation, and core role workflows. Explain how experienced...Remote jobHourly payWeekly paySummer workMercor
Londonmore than 2 months ago$100 per hour
...Video Craft Expert (Camera, VFX, Editing & Performance) Type: Contract Compensation: $70–$100/hour Location: Remote Role Responsibilities Evaluate pairs of AI-generated videos and choose the stronger result based on craft axes like...Part-timeRemote jobSummer workWeekday workMercor
London2 days ago- ...ensuring high quality, compliant, and timely support across recruitment,... ...of service are changing as part of Civil Service reform. The changes... .... Experience of using HR, recruitment or workforce management... ...you are able to raise a formal complaint in the following order...Part-timeJob sharingPermanentFull-timeTemporaryHybrid workingOn-siteMonday to FridayFlexible hours
$70 per hour
...Jack Dorsey . Position: Physics PhD Coding Experts Type: Contract Compensation: $70/hour Location: Remote Duration: 6 weeks Commitment: 20+ hours/week Role Responsibilities Source material from published papers...Remote jobSummer workImmediate startMercor
Londona month ago$70 per hour
...Jack Dorsey . Position: Physics PhD Coding Experts Type: Contract Compensation: $70/hour Location: Remote Duration: 6 weeks Commitment: 20+ hours/week Role Responsibilities Source material from published papers...Remote jobSummer workImmediate startMercor
Londona month ago- £33k - £43k per annumEstimated...successful booking. Additional commission for every new team member recruited who completes bookings. This role is ideal for someone with a passion for travel, networking, and remote work flexibility. If you thrive in a dynamic environment and enjoy helping others, apply now!...Part-timeRemoteFull-time
$150 per hour
...Dorsey . Position: Economics Research Expert Type: Contract Compensation: $120–$150/hour Location: Remote Duration: Minimum four weeks Commitment: 10+ hours/week Role Responsibilities Evaluate the accuracy and...Remote jobSummer workMercor
London14 days ago- ...Location: Remote Line Manager: Head of Hybrid Team: Hybrid Starting Date: January 2027 or earlier if possible Type: Part-time - teaching and working hours will be as follows: 6.75 hours... .... Plan the scheduling of formal examinations carefully and in discussion...Part-timeRemoteHybrid workingWork from homeFlexible hours
- £36k - £48k per annumEstimated...people all over the world and will enjoy time and location flexibility. Full training is... ...skills Ability to work independently and as part of a team Self-motivated, big thinker... ...time options (min 15 hours a week) Work remotely with a laptop and phone NB: Not...Part-timeRemote jobFull-time
£50.2k per annum
...About the Role This is an exciting time to join NPL as the organisation embraces the... .... We work in a hybrid way, with a mix of remote and office working (minimum two days onsite... ...workforce. Role Focus This is a role of many parts where you will be advising, guiding and...Part-timeRemoteFull-timeFixed-term contractHybrid workingOn-siteFlexible hours£49.98k per annum
...relevant to the role. Post Type Full Time Hours per Week 35 Weeks per Year... ...hybrid working for some roles and so some remote working would be possible for this role.... ...for flexible working for this post including part time, job share or compressed working hours...Part-timeRemotePermanentFull-timeHybrid workingFlexible hoursRoyal Holloway University of London Doctoral School - DTPs &...
London26 days ago£60.82k - £70.06k per annum
..., Asylum and Nationality Act 2006. Full-Time, Permanent. Applications are invited for... ...for flexible working for this post including part-time, job share or compressed working hours... ...working for some roles therefore some remote working may be possible for this role. Jobs...Part-timeRemotePermanentFull-timeHybrid workingFlexible hoursRoyal Holloway University of London
London19 days ago- £22k - £26k per annumEstimated...Location: Remote / Flexible Job Type: Entry-Level Placement... ...Experience Required: No previous HR qualifications or experience required... ...company may offer you a full-time paid role in Human Resources.... ...Guaranteed remote internship (part-time or full-time) ~1 in 4...Part-timeRemoteLong-term contractFull-timeTraineeshipInternshipFlexible hours
- ...integrations, industry solutions). Track availability preferences (remote, hybrid, relocation). Capture salary/rate expectations... ...talent platform. Benefits Why Join Max Accelerate? Be part of a niche-focused, high-growth company. Work with a world-...Part-timeRemoteHybrid workingRelocation
£61.5k per annum
...funding for external training and more Role Type : Full-time preferred but part-time (30 hours/week) considered Start Date : We are... ...averaged over a two-week period. We cannot offer this role on a fully remote basis About the Role Join us as a Consultant to lead...Part-timeRemoteFull-timeHybrid workingVisa sponsorshipWork from homeProbationary periodFlexible hours- £40k - £53k per annumEstimated...Manager (Salesforce & Maximo) MaxAccelerate Technology Group Remote | Global Markets | High Commission | High Growth Overview... ...commission earning potential ❌ No cap Flexible working (full-time / part-time options) Remote Working (With Progression) Initial...Part-timeRemoteFull-timeImmediate startProbationary periodFlexible hours
$80 per hour
.... Position: Data Engineer (Coding Agent Experience) Type: Contract Compensation: $80/hour Location: Remote Role Responsibilities Use frontier AI coding agents to complete and evaluate complex data engineering tasks. Review...Remote jobSummer workMercor
Londona month ago- £32k - £42k per annumEstimated...: Permanent Pattern: Full Time (standard hours 9am - 5.30pm)... ...schools, with the flexibility of remote working ~ In addition to flexible... ...employees can request to work fully remotely for up to 10 working... ...entitlement is pro rata for part time employees. This entitlement...Part-timeRemotePermanentFull-timeTraineeshipHybrid workingOn-siteFlexible hours
$200 per hour
...Position: UK-Based Data Engineering Experts Type: Contract Compensation: $140–$200/hour Location: Remote Duration: 14 September to 10 October 2026 Commitment: 40 hours/week Role Responsibilities Produce professional...Remote job40 hours/weekSummer workMercor
Londona month ago- £26k - £34k per annumEstimated...for a confident, approachable HR professional who is passionate... ...a permanent basis working full time. Interviews will be taking place... ..., with the flexibility of remote working. ~ In addition to flexible... ...employees can request to work fully remotely for up to 10 working...Part-timeRemotePermanentFull-timeHybrid workingOn-siteProbationary periodFlexible hours
$42 per hour
...Contract Compensation: $42/hour Location: Remote Duration: Approximately three weeks Commitment:... ...At least one year of Spanish-learning experience through formal education, tutoring, self-study, or other structured learning....Remote jobSummer workMercor
Londona month ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Mathematician - Fully Remote | Up to $110/hr Part-time. Be the first to apply!
Related searches
- creative specialist remote London
- part time insurance remote London
- medical billing no experience remote London
- ecommerce analyst remote London
- salesforce product owner remote London
- design director remote London
- payroll officer remote London
- learning and development consultant remote London
- dell technologies remote London
- hedge fund remote London