Formal Mathematician Fully Remote
$90 - $110 per hourFull-time
Mercor
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 DAngelo Larry Summers and Jack Dorsey .
Position: Lean Engineer Formal Mathematics (Lean 4 Mathlib Theorem Proving)
Type: Contract
Compensation: $90$110/hour
Location: Remote
Commitment: 2040 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 labs 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 2030 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:
PS: Our team reviews applications daily. Please complete your AI interview and application steps to be considered for this opportunity.
Vacancy posted 18 days ago
Similar jobs that could be interesting for youBased on the Formal Mathematician Fully Remote in New York, NY vacancy
$90 - $110 per hour
...Larry Summers and Jack Dorsey . Position: Lean Engineer Formal Mathematics (Lean 4 Mathlib Theorem Proving) Type: Contract Compensation: $90$110/hour Location: Remote Commitment: 2040 hours/week Role Responsibilities...Remote workFull timeContract workSummer workWeekday work- Mathematician (PhD) for AI Data Training Are you excited about using your mathematical expertise... ...subject‑matter experts with flexible, remote opportunities in AI development and training... ...and reason quantitatively. This is a fully remote, flexible role where you can...Remote workWeekly payContract workFlexible hours
$55 per hour
...methods, able to switch between tasks and topics quickly and sometimes work with challenging, complex guidelines. The role is fully remote, so you just need a laptop, internet connection, time available and enthusiasm to take on a challenge. Benefits Get paid...Remote workPart timeFreelanceMind Rift
Denver, CO13 hours ago$55 per hour
...able to switch between tasks and topics quickly and sometimes work with challenging, complex guidelines. Our freelance role is fully remote so you just need a laptop, internet connection, time available and enthusiasm to take on a challenge. Benefits Get paid...Remote workPart timeFreelanceMind Rift
Saint Paul, MN13 hours ago$77 per hour
...Type: 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 jobContract workSummer work$99k - $225k
...engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or...Remote workFull timeContract workPart timeLocal areaBooz Allen Hamilton
McLean, VA5 days ago$99k - $225k
...Statistician and Mathematician As an analytics professional, you're excited at the prospect of unlocking the secrets held by a data set... ...generally expected to have their cameras on during meetings. Remote If this position is listed as remote, there may still be...Remote workFull timeContract workPart timeLocal areaBooz Allen Hamilton
Washington DC2 days ago$148.75k - $201.25k
...Senior Applied Mathematician – The Boeing Company At Boeing, we innovate and collaborate to make the world a better place. We’re committed... ...data Strong technical communication skills, including formal reports, presentations, and customer-facing briefings Ability...Permanent employmentWork experience placementInterim roleImmediate startRelocationVisa sponsorshipWork visaFlexible hoursShift workBoeing
Berkeley, MO5 days ago- A leading AI development firm is seeking a Mathematician (PhD) to join their remote AI training project. In this role, you will evaluate AI-generated mathematical responses, ensuring accuracy and clarity. To qualify, you must have a PhD in Mathematics/Statistics, significant...Remote jobWeekly payFlexible hours
$180 per hour
...US/UK/CA) Type: Contract Compensation: $70–$180/hour Location: Remote Role Responsibilities Solve and evaluate challenging physics... ...in model outputs. Apply relevant citations, principles, and formal reasoning where appropriate. Work independently to complete...Remote workContract workSummer workImmediate startMercor Inc
United States3 days ago- ...Federal and State Government Agencies. Learn More About ProSidian Consulting at .Job DescriptionProSidian Seeks a Statistician or Mathematician - Aerospace Medical Research (AMR22) headquartered near CONUS - Oklahoma City, OK to support requirements for Aerospace and...Full timeContract workTemporary workFor contractorsWork at officeFlexible hours
Prosidian Consultng
Oklahoma City, OK8 days ago $70 per hour
...and Jack Dorsey . Position: Mathematics PhD Coding Experts Type: Contract Compensation: $70/hour Location: Remote Duration: 6 weeks Commitment: 20+ hours/week Role Responsibilities Source material from published papers, Kaggle datasets...Remote jobContract workSummer workImmediate start- ...Alignerr is seeking a Formal Verification Scientist to translate advanced human-written proofs into precise Lean-based formalizations. This fully remote, hourly contract role offers 10–40 hours per week for mathematicians who thrive at the intersection of rigorous proof...Remote workHourly payContract work10 hours per week
Alignerr Corp.
Seattle, WA18 hours ago - ...Alignerr is seeking mathematicians and formal verification specialists to translate rigorous human arguments into Lean 4 proofs, working at the edge of automated reasoning. This is a fully remote, flexible hourly contract requiring 10–40 hours per week and centered on...Remote workHourly payContract work10 hours per weekFlexible hours
Alignerr Corp.
United States2 hours ago $150k - $182.5k
...Conshohocken, PA - three days per week in the office and two days remote. Some travel may be required (< 10%).Madrigal’s Total Rewards... ...through this source. Madrigal will only pay a fee to agencies if a formal agreement between Madrigal and the agency has been established....Remote workMinimum wageFull timeWork experience placementInternshipWork at officeLocal areaFlexible hours3 days per weekMadrigal Pharmaceuticals
Conshohocken, PA6 days ago$70 per hour
...and Jack 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 papers,...Remote jobContract workSummer workImmediate start- ...Description Description Please note that although our team is fully remote, SpinPlay currently only operates out of NV and TX.... ...be willing to work from/relocate to those locations. The Mathematician is responsible for designing and developing the mathematical...Remote workWork at officeRelocation
- ...fees at any stage of the hiring process.We will not request sensitive personal or financial information prior to the acceptance of a formal offer.All communications will come from official @coh.org email addresses.Interviews are conducted only through approved,...Work experience placement
City of Hope
Duarte, CA5 days ago $124k - $155k
..., placement agencies, or other suppliers that have not signed a formal agreement with us.This is the anticipated base salary range for... ...state employer, and this salary range may not reflect positions that work in other states.Remote: US only roles$112,000 - $140,000 USD...Remote workFull timeWorldwideCareDx, Inc.
Brisbane, CA3 days ago$135k - $216k
...environments worldwide that enable speedy and precise decision making to warfighters. Responsibilities: The Senior Statistician/Mathematician - Quality Assurance Framework (QAF) Oversight & Monitoring specializes in collecting, analyzing, and interpreting data to...Contract workTemporary workWork experience placementWorldwideShift workNavstar
Herndon, VA4 days ago$42.05 - $45.64 per hour
...or Washington D.C. offices. This is a temporary position lasting six months. This position offers the flexibility to be fully remote while working within reasonable commuting distance from any of our offices. This position is responsible for performing a variety...Remote workHourly payTemporary workFreelanceWork at officeFlexible hoursDavis Wright Tremaine
Seattle, WA4 days ago- ...and bioinformatics through mentoring and teaching colleagues, investigators, fellows, and graduate students. Coordinate and teach formal biostatistics courses, interdisciplinary courses, continuing education courses, and seminars. Interact with investigators and database...Full timeInterim roleWork at officeLocal area
DEV INC
Calabasas, CA4 days ago - ...SME- Statistician/Mathematician (QAF Oversight & Monitoring) At Prescient Edge, we believe that acting with integrity and serving our employees is the key to everyone's success. To that end, we provide employees with a best-in-class benefits package that includes: Benefits...
Prescient Edge
Washington DC2 days ago - ...plans and final reports for clinical and nonclinical projects. Plan, coordinate and produce statistical analyses, summaries and write formal memoranda. Produce SAS programming and other software package programming to analyze data. Interpret the project implications of...
Direct Staffing Inc
Emeryville, CA2 days ago - ...clinical and public health research, utilizing advanced statistical methods and programming skills in SAS and R. This full-time, fully remote position requires a Master's degree and extensive experience in biostatistics, EHR data, and team leadership. Strong...Remote workFull time
Loyola University
Maywood, IL3 days ago - ...shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems — especially Lean — to tackle... ...sit beyond the reach of automated tools. This is a fully remote, flexible contract role at the intersection of mathematics...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
New York, NY14 hours ago $171k - $223k
...and adapting statistical methods where standard approaches don't fully apply. Own the statistical integrity and accuracy of analysis... ...other biostatisticians, providing technical direction without formal people-management authority. Manage and provide oversight of...Local areaDenali Therapeutics
South San Francisco, CA3 days ago- ...Transportation, Federal and State Government Agencies. Learn More About ProSidian Consulting at .Job DescriptionProSidian Seeks a Mathematician - Applied Mathematics (MT109) (Time and Materials | Exempt Engagement Team - Senior Consultant Level) to support an engagement...Full timeTemporary workFor contractorsWork at officeFlexible hours
Prosidian Consultng
Aiken, SC6 days ago - ...if your deep mathematical intuition and mastery of formal proof systems could directly shape how AI... ...assistants can express, capture, and automate. This is a fully remote, flexible contract role ideal for mathematicians who live at the intersection of rigorous proof construction...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
Seattle, WA4 days ago $70 - $140 per hour
...group. You will apply graduate-level expertise to assess, validate, and improve complex mathematical reasoning in AI systems. This remote, asynchronous engagement runs 5-6 weeks with potential for extension. Compensation is hourly, paid weekly via Stripe Connect, at $7...Remote workHourly payWeekly payWeekday workWeekday AI
United States2 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Mathematician Fully Remote. Be the first to apply!
Related searches
- software engineering manager remote New York, NY
- remote recruitment consultant New York, NY
- remote data manager New York, NY
- business intelligence analyst remote New York, NY
- benefits specialist remote New York, NY
- junior angular developer remote New York, NY
- remote video game New York, NY
- remote typing work New York, NY
- remote construction estimator New York, NY
- remote fashion New York, NY