Formal Mathematician - Fully Remote | Up to $110/hr Part-time
$110 per hourMercor
Toronto, ON
- 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 15 hours ago
Similar jobs that could be interesting for youBased on the Formal Mathematician - Fully Remote | Up to $110/hr Part-time in Toronto, ON vacancy
$110 per hour
...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...Remote jobContract workSummer work$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 jobContract workSummer workImmediate start$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 jobContract workSummer work$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 jobContract workSummer work$61 - $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 workFull timeContract workSummer work$65 - $75 per hour
...Dorsey . Position: Commercial Blasting Engineer Type: Contract Compensation: $65–$75/hour Location: Remote Role Responsibilities Write challenging single-turn prompts in energetic materials and propulsion . Label them as benign...Remote workHourly payFull timeContract workFor contractorsSummer workFlexible hoursMercor
Toronto, ON19 days ago$90 - $110 per hour
...Summers , and Jack Dorsey . Position: Finance & Banking Expert Type: Contract Compensation: $90–$110/hour Location: Remote Commitment: 15–20 hours/week Role Responsibilities Author tasks to test AI reasoning over...Remote workFull timeContract workSummer workMercor
Toronto, ONmore than 2 months ago$55 - $65 per hour
...Position: Application Users - PyCharm on macOS - Code Type: Contract Compensation: $55–$65/hour Location: Remote Role Responsibilities Utilize PyCharm on macOS for specialized application tasks. Capture high-resolution...Remote workFull timeContract workSummer workMercor
Toronto, ON20 days ago$100 - $150 per hour
...Dorsey . Position: Management Consulting Expert Type: Contract Compensation: $100–$150/hour Location: Remote Role Responsibilities Evaluate AI-generated artifacts for usability in a consulting context. Identify factual,...Remote workFull timeContract workSummer workWork at officeMercor
Toronto, ON11 days ago$50 - $80 per hour
...and Jack Dorsey . Position: Visual Designer Type: Contract Compensation: $50–$80/hour Location: Remote Commitment: 10–20 hours/week Role Responsibilities Write, review, and validate prompt-based questions to train AI...Remote workContract workSummer workMercor
Toronto, ON13 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 payContract workFor contractorsSummer work$110 per hour
...Larry Summers , and Jack Dorsey . Position: Security Expert Type: Contract Compensation: $90–$110/hour Location: Remote Role Responsibilities Review simulated vendor SOC 2 reports , security questionnaires, and pen-test...Remote jobContract workSummer work$63 per hour
...Contract Compensation: $50–$63/hour Location: Remote Commitment: 10+ hours/week Role Responsibilities... ...specific subdomain. Strong command of philosophical argumentation, formal logic, and canonical texts across traditions. Research...Remote jobContract workSummer work$150 per hour
...Dorsey . Position: Software Engineer Expert Type: Contract Compensation: $100–$150/hour Location: Remote Role Responsibilities Evaluate AI-generated artifacts for usability in a software engineering context. Identify factual...Remote jobContract workSummer workWork at office$70 per hour
...Jack Dorsey . Position: Generalist Search Expert Type: Contract Compensation: $40–$70/hour Location: Remote Role Responsibilities Conduct precise information retrieval across numerous webpages to ensure high precision and recall....Remote jobContract workSummer work$80 per hour
...Jack Dorsey . Position: Multiline P&C Underwriter Type: Contract Compensation: $80/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities Design realistic underwriting scenarios involving new business...Remote jobHourly payWeekly payContract workFor contractorsSummer workImmediate start$30 per hour
...Jack Dorsey . Position: Multimodal Image Expert Type: Contract Compensation: $30/hour Location: Remote Role Responsibilities Evaluate pairs of AI-generated images against original prompts to determine preference. Review...Remote jobHourly payWeekly payContract workFor contractorsSummer work$60 per hour
...Position: Education — Visual Document Understanding Type: Contract Compensation: $60/hour Location: Remote Commitment: 15–20 hours/week Role Responsibilities Evaluate the accuracy and depth of AI-generated content in...Part timeRemote jobContract workSummer work$80 per hour
...Contract Compensation: $80/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities... ...underwriting decisions from sales/agent recommendations and from formal legal advice. Preferred CPCU , CLU , AINS ,...Remote jobContract workSummer workImmediate start$80 per hour
...Contract Compensation: $55–$80/hour Location: Remote Role Responsibilities Contribute subject matter expertise... ...a short interview and task (20–30 mins ). Paid onboarding time for up to 1 hour , including videos. Application Process (...Remote jobContract workSummer work$80 per hour
...Contract Compensation: $80/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities... ...distinguish actuarial analysis from underwriting decisions and from formal financial or legal advice. Preferred ASA , FSA...Remote jobContract workSummer workImmediate start$160 per hour
...Jack Dorsey . Position: Consultant / Advisor Type: Contract Compensation: $80–$160/hour Location: Remote Role Responsibilities Review and assess domain-specific documents to ensure quality, accuracy, and relevance. Provide...Remote jobContract workSummer work$31 per hour
...Position: PDF Annotation & Transcription Experts – Japanese Type: Contract Compensation: $31/hour Location: Remote Role Responsibilities Open and check tasks. Confirm pages are in Japanese, legible, have real content, and show no...Remote jobContract workSummer work$100 per hour
...Clinical Mental Health Expert — AI Conversation Evaluation Type: Contract Compensation: $100/hour Location: Remote Role Responsibilities Review pairs of simulated conversations involving clinical mental health scenarios. Evaluate...Remote jobContract workSummer work$70 per hour
...Application Users - Excel on macOS - Professionals Type: Contract Compensation: $60–$70/hour Location: Remote Role Responsibilities Utilize Excel for spreadsheet modeling, formulas, pivot tables, and charting. Capture high-...Remote jobContract workSummer work$40 per hour
...Contract Compensation: $30–$40/hour Location: Remote Role Responsibilities Evaluate the functionality and... ...of post-production outputs. Work independently to ensure timely completion of tasks and asynchronous collaboration with team members...Remote jobContract workSummer work$60 per hour
...Software Engineering Reviewer – Browser Test Validation Type: Contract Compensation: $30–$60/hour Location: Remote Role Responsibilities Review browser-based testing workflows for AI-generated web applications . Assess whether...Remote jobContract workSummer work$60 per hour
...Jack Dorsey . Position: Expert Project Manager Type: Contract Compensation: $50–$60/hour Location: Remote Role Responsibilities Track project and annotator performance using Google Sheets . Review annotator quality to...Remote jobContract workSummer work$40 per hour
...Application Users - Adobe Illustrator on Windows - Generalist Type: Contract Compensation: $30–$40/hour Location: Remote Role Responsibilities Utilize Adobe Illustrator on Windows for vector illustration, logo, and layout design....Remote jobContract workSummer workFlexible hours$120 per hour
...Position: Process improvement / SOPs Evaluator Type: Contract Compensation: $80–$120/hour Location: Remote Role Responsibilities Evaluate AI-generated artifacts against domain-specific quality rubrics. Identify factual, aesthetic...Remote jobContract workSummer workWork at office
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
- remote mri Toronto, ON
- italian customer service remote Toronto, ON
- ux researcher remote Toronto, ON
- remote entry level web developer Toronto, ON
- northern remote Toronto, ON
- remote support Toronto, ON
- remote financial analyst Toronto, ON
- remote work Toronto, ON
- remote automotive Toronto, ON
- junior salesforce administrator remote Toronto, ON