Formal Mathematician - Fully Remote | Up to $110/hr Part-time
$110 per hourMercor
New York, NY
- Remote job
Job Description
Job Description
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: View email address on ziprecruiter.com
PS: Our team reviews applications daily. Please complete your AI interview and application steps to be considered for this opportunity.
Vacancy posted 9 days ago
Similar jobs that could be interesting for youBased on the Formal Mathematician - Fully Remote | Up to $110/hr Part-time in New York, NY vacancy
$170 per hour
...Mathematician (Foundations / Formalization) $170-200/hr Remote Freelance STEM About the Role What if your deep knowledge of formal mathematics could directly... ...that frontier AI depends on. This is a fully remote, flexible contract role working at the intersection...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
United States2 days ago- ...Mathematician (Foundations / Formalization) About the Role What if your deep knowledge of formal systems and rigorous proof methods could directly... ...-scale proof libraries like mathlib. This is a fully remote, flexible contract role for mathematicians who love...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
New York, NY3 days ago $110 per hour
...Mathematics Research Collaborator (Part-time) Type: Contract Compensation: $80–$110/hour Location: Remote Commitment: Up to 2... ...to problem-solving, formalization, and conjecture... ...subtle errors a working mathematician would catch immediately....Part timeRemote jobContract workSummer workImmediate start$110 - $130 per hour
...Individual Tax Professional (CPA / EA) (Remote | $110–$130/hr) Position: Individual Tax Professional (CPA / EA) Type: Hourly Contract (Independent Contractor) Compensation: $110–$130 per hour Location: Remote (United States) About the Opportunity...Part timeRemote workHourly payContract workTemporary workFor contractorsFlexible hoursSynthires
United States2 days ago$55 per hour
...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.... ...skills, experience, and project needs. Take part in a part‑time, remote, freelance project that...Part timeRemote workFreelanceMind Rift
Brooklyn, NY1 day ago$110 - $125 per hour
...technology, we take care of the administrative work so you can focus fully on helping clients heal and thrive. As a Rula therapist, you’ll... ..., billing, claims, EHR, and tech support—so you can focus your time and energy on clinical work. Professional Autonomy...Part timeRemote workLive inWork at officeRula
Upland, CA11 hours ago$110k - $125k
...Experience in a formal field sales trainer, sales... ...range for this position is $110,000 to $125,000 , depending... ...company bonus plan. Remote Work: This role is fully remote, so you can work from... ...~ Regular full-time and qualifying part-time employees and their...Part timeRemote workFull timeCurrently hiringLocal areaWork from home$70 - $110 per hour
...Financial Manager Position: Financial Manager Type: Hourly Contract Compensation: $70 –$110/hour Location: Remote – United States About the Opportunity This opportunity is for experienced Financial Managers and finance leaders interested...Part timeRemote workHourly payContract workFor contractorsWork at officeImmediate startFlexible hoursSynthires
United States2 days ago$110 per hour
...Larry Summers , and Jack Dorsey . Position: Biology & Biophysics Research Collaborator (Part-time) Type: Contract Compensation: $80–$110/hour Location: Remote Commitment: Up to 20 hours/week Role Responsibilities Review and evaluate...Part timeRemote jobContract workSummer work$110 per hour
...Angelo , Larry Summers , and Jack Dorsey . Position: Chemistry Research Collaborator (Part-time) Type: Contract Compensation: $80–$110/hour Location: Remote Commitment: Up to 20 hours/week Role Responsibilities Review and evaluate...Part timeRemote jobContract workSummer work$110 per hour
...Angelo , Larry Summers , and Jack Dorsey . Position: Physics Research Collaborator (Part-time) Type: Contract Compensation: $80–$110/hour Location: Remote Commitment: Up to 20 hours/week Role Responsibilities Review and evaluate...Part timeRemote jobHourly payContract workFor contractorsSummer work$55 per hour
...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.... ...skills, experience, and project needs. Take part in a part-time, remote, freelance project that...Part timeRemote workFreelance$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$63.8k - $164.3k
...AFB, WA Warren AFB, WY Remote job No Telework eligible... ...Work schedule Full-time Service Competitive... ...under the guidance of a senior mathematician or scientist. Requirements... ...software applications. PART-TIME OR UNPAID EXPERIENCE: Credit...Part timeRemote workFull timeTemporary workWork experience placementWork at officeRelocationShift workAfternoon shiftEHA DHA (DAF)
King Salmon, Lake And Peninsula County, AK1 day ago$90 - $110 per hour
Commitment: Part-time, flexible, task-based No prior AI experience required. Role Responsibilities - Review and redline commercial agreements... ...for each redline or revision. - Work independently in a remote, deadline-driven project. Requirements - Juris Doctor (JD)...Part timeRemote jobContract workFlexible hours$110 per hour
...Summers , 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 Evaluate research-level physics...Remote jobContract workSummer work$99k - $225k
...Job Number: R0253132 Statistician & Mathematician The Opportunity: As an analytics... ...superior demonstration of our values. Full-time and part-time employees working at least 20... ...have their cameras on during meetings. Remote : If this position is listed as remote...Part timeRemote workFull timeContract workLocal area$110 per hour
...Summers , 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 research-level...Remote jobContract workSummer work$110 per hour
...Dorsey . Position: Gravitation, Cosmology and Astrophysics Physicist (PhD) Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 weeks Commitment: 10 hours/week Role Responsibilities Evaluate AI model training...Remote jobContract workSummer work- ...HR Manager We are seeking an experienced HR Manager to formalize the company's HR operations, ensure compliance... .... The role begins part-time at 20 hours per week... ...and a quiet, dedicated remote workspace. ~ Availability... ...Work Arrangement: Fully Remote Reports To: CEO...Part timeRemote workFull timeFor contractorsWork at officeMonday to Friday
Somewhere
United States3 days ago $65.5k - $88.4k
...Resources Manager Remote - This role can be fully remote but must be based... ..., apply now to be a part of the AMC team!... ...and detail-oriented HR Manager with strong Human... ...meetings with all full-time and part-time benefit... ...actions requiring formal documentation. Serve...Part timeRemote workFull timeLocal areaNight shiftAppalachian Mountain Club
United States1 day ago- ...leads with families. Learn a system. Build a book. That is the job in one line. Included • Web-conference meetings from home • Full-time or part-time options • No cold calling • Written training plus live coaching • Advancement for people who lead their numbers Your day...Part timeRemote workFull timeWork from home
- ...permanent position upon completion of your formal training plan. As a Palace Acquire... ...and studies assigned to higher graded mathematicians or scientists. Perform a segment of... ...and standard software applications. PART-TIME OR UNPAID EXPERIENCE: Credit will be given...Part timePermanent employmentFull timeTemporary workWork experience placementInternshipWork at officeRelocationTrial periodRelocation package
Air Force Civilian Career Training
Tuscaloosa, AL2 days ago - ...book. We supply the process and the coaching. You supply the work ethic. Why people stay 1. Control of the calendar. Full-time or part-time structure. 2. No commute. Presentations are web-based. 3. No cold calling. Conversations start with interest. 4. Promotion...Part timeRemote workFull timeWork from homeFlexible hours
- ...SilverLine Consulting is a Northeast Ohio-based HR and Recruiting consultancy serving... ...pipeline of recruiting projects. This fully remote, part-time opportunity is ideal for a self-directed... ...SilverLine Consulting by 2x Cleveland, OH $110,000.00-$160,000.00 1 week ago Cleveland...Part timeRemote workHourly payExtra incomeContract work10 hours per weekFlexible hours
$120 - $130 per hour
...Pay Rate:$110-$120 per billable hour Hybird Position/ Choose your own Hours! Position Overview... ...support to set you up for success. Job Type: Part-time Expected hours: 30 - 40 Hours per week 75% Remote/ Telehealth Administrative Support: Responsive,...Part timeRemote workHourly payWork from homeFlexible hoursNeurosprout ABA
Columbia, MD1 day ago$20 - $25 per hour
...We are seeking a reliable and organized Personnel Assistant to support our administrative team. This role is part-time and fully remote, helping with day-to-day personnel tasks, documentation, scheduling support, and basic administrative tasks. Key Responsibilities...Part timeRemote workHourly payWork at officeWork from homeFlexible hoursLindborg & Mazor LLP
Salem, MA1 day ago- Global Elite Empire Consultants is seeking candidates for a part-time, fully remote position offering the potential to earn an extra $1,000-$2,000 per month. The role is 20 hours per week, work from home, with paid training and a path toward growth within a large benefits...Part timeRemote jobWeekly payWork from home
- ...support its growing hiring efforts. This part-time, remote role will focus on managing applicant... ...experience in recruiting coordination, HR administration, or scheduling is preferred... ...environment. Position Details ~ Part-time, fully remote, with flexible hours....Part timeRemote workFlexible hours
Talent Table
United States3 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
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
- graphic design remote New York, NY
- remote scrum master New York, NY
- remote document review New York, NY
- remote recruiter New York, NY
- remote infrastructure engineer New York, NY
- genetic counselor remote New York, NY
- remote appointment scheduler New York, NY
- junior angular developer remote New York, NY
- remote video game New York, NY
- global remote customer service jobs New York, NY