Theorem Proving Expert AI Trainer
$80 - $130 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: Formal Mathematics Specialist (Lean / Coq / Isabelle)
Type: Contract
Compensation: $80$130/hour
Location: Remote
Role Responsibilities
- Guide research and engineering teams to close knowledge gaps and improve AI model performance in formal mathematics and theorem proving.
- Design challenging domain-relevant tasks and write accurate and well-structured solutions to formal mathematics and theorem proving problems.
- Evaluate formal mathematics and theorem proving tasks and solutions providing clear written technical feedback.
- Write check and repair formal proofs and statements in Lean Coq or Isabelle and translate informal mathematics into formal statements.
- Develop rubrics to assess the correctness faithfulness and elegance of formalized statements and proofs.
- Collaborate with other subject matter experts to ensure consistency and accuracy in training data.
Qualifications
Must-Have
- Graduate-level training in mathematics computer science or logic ( MS PhD or PhD candidate ) or equivalent professional experience in formal verification.
- Hands-on experience writing proofs in Lean 4 (Mathlib) Coq (Rocq) Isabelle/HOL or a comparable proof assistant evidenced by contributions projects or publications.
- Strong background in proof-based mathematics (algebra analysis number theory combinatorics or logic).
- Demonstrable track record of mathematical or formal verification work.
- Ability to engage reliably for at least 20 hours/week during weekdays.
- Strong written communication skills and the ability to explain complex technical decisions clearly.
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.
#hiringmercorVacancy posted 22 hours ago
Similar jobs that could be interesting for youBased on the Theorem Proving Expert AI Trainer in Washington DC vacancy
$90 - $110 per hour
...jobMercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Angelo, Larry Summers, and Jack Dorsey.Position: BioInformatics Experts Type: Contract Compensation: $90–$110/hour Location: RemoteRole...SuggestedContract workSummer workMercor Inc
Washington DC3 days ago$60 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...improve training data quality. Collaborate with subject matter experts to ensure consistency and relevance across datasets. Work...SuggestedContract workSummer workRemote workMercor
Washington DC26 days ago$60 - $70 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Larry Summers , and Jack Dorsey . Position: Higher Education Expert Type: Contract Compensation: $60–$70/hour Location:...SuggestedContract workSummer workRemote workMercor
Washington DC2 days ago$80 - $120 per hour
...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...SuggestedContract workSummer workWork at officeRemote workFlexible hoursMercor
Washington DC29 days ago$50 per unit
...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...SuggestedHourly payContract workFor contractorsSummer workRemote workMercor
Washington DC26 days ago$70 - $100 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco our investors... ...validity of model outputs. Collaborate with other subject matter experts to ensure consistency and accuracy in training data....Full timeContract workSummer workRemote workWeekday work$60 per hour
...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:...Full timeContract workSummer workRemote work$40 - $125 per hour
...DataAnnotation is looking for an experienced Computational Chemist - AI Trainer to design chemistry problems that today's leading AI models... ...subject knowledge to catch these errors, and the tooling to prove them. \n This is a new and growing area for our company, focused...Hourly payFor contractorsDataAnnotation
Bethesda, MD10 hours ago$140k - $220k
...What We Look For Role summary You will design and deliver hands-on AI training for enterprise clients. Sessions are mostly virtual and... ...work on everyday workflows. You co-facilitate with other Metis trainers and tailor the content to each client’s industry, tools and...Work experience placementWork at officeRemote workMetis Strategy
Washington DC12 hours ago$40 - $125 per hour
...experienced drug discovery scientists to evaluate how frontier AI models handle real discovery and preclinical work: SAR analysis,... ...process development, and review and refine tasks built by other experts. \n \n Domain qualifications \n \n ~3+ years hands on in...Contract workWork at officeRemote work10 hours per weekFlexible hoursDataAnnotation
Bethesda, MD10 hours ago- ...customers and colleagues. Those stories are part of what makes this such a special place to work. Job Overview As a Beauty Brand Expert at Macy’s, you are the go-to authority for your assigned brand, responsible for driving sales, elevating the customer experience,...Full timePart timeSeasonal workFlexible hoursAfternoon shift
Macy's
Washington DC19 days ago - ...College Student AI Robotics Trainer Role Type: Contractor Location: On-site San Francisco We are seeking reliable College Students to support an innovative robotics data collection project. Youll perform hands-on tasks that help train and improve next-generation...Full timeFor contractorsRemote work
YO AI Labs
Washington DCa month ago - ...enablement, or consulting experience, with dedicated expertise in enterprise AI adoption) Role Overview The AI Training & Enablement Consultant serves as the dedicated subject matter expert (SME) leading artificial intelligence education, adoption, and enablement initiatives...Permanent employmentContract workRemote work
- DataAnnotation is seeking an experienced Radiologist to help train AI models by reading and interpreting medical images such as chest X-rays, ultrasounds, and nuclear medicine scans. You will generate reads, impressions, and structured rationales to guide model improvements...Remote job
- ...About the Role Join our global AI Community as a Bioinformatics AI Expert specializing in advanced benchmark dataset creation and AI model evaluation. In this role, you will design complex, reasoning-intensive, "information-reversal" evaluation tasks to measure...Part time
TELUS International
Washington DC28 days ago - ...all digital channels, and accelerate revenues while reducing operating expenses and fraud losses. Over 1,000 enterprise customers use Prove's platform to process 20 billion customer requests annually across industries, including banking, lending, healthcare, gaming,...Work at officeLocal areaFlexible hours
PROVE
Washington DC4 days ago $60k - $80k
...Description Job Description Description: The Generative AI Trainer teaches PhoenixTeam employees and client teams to use... ...feedback loop. Partner with the Managing Director, subject-matter experts, and relevant business or compliance stakeholders to align instruction...Full timeContract workRemote workFlexible hoursShift workPhoenix Oversight Group LLC
Arlington, VA12 days ago$150k - $175k
...DTSV is seeking an experienced Subject Matter Expert (SME) in International Organization for Standardization (ISO) standards to support a headquarters professional support services program for our Customer, a Federal agency. This key position leads documentation and other...Contract workWork at officeDTSV, Inc.
Washington DC4 days ago- ...Description Xtreme Solutions, Inc. (XSI) is seeking a Subject Matter Expert to support a federal headquarters program in Washington, DC. The SME is a senior expert in a designated technical area of the statement of work, such as process improvement, quality, compliance...Contract work
Xtreme Solutions, Inc.
Washington DC12 hours ago $183.2k - $194.04k
...costing and pricing information, forecasts, market analysis, and expert commentary. TechInsights’ customers include the most successful technology... ...equipment, materials, foundry, memory, packaging and test, and AI accelerators, sufficient to assess technical control thresholds....Permanent employmentRemote workFlexible hoursNight shiftTechInsights
Washington DC2 days ago- ...due to a disability, contact this employer to ask for an accommodation or an alternative application process. 1099 Subject Matter Expert Non-SCA, Full-time 1099 Washington, DC, US 2 days ago Requisition ID: 1779 Salary Range: $1.00 To $1.00 Annually FM...Full timeContract workLocal area
FM Talent Source
Washington DC2 days ago $125k - $180k
...Visa Sponsorship. Position Summary The Process Automation Expert will identify inefficiencies and opportunities within business processes... ...process automation, workflow orchestration, integration, and AI-enabled capabilities. This role bridges business and technology...Nestlé S.A.
Arlington, VA1 day ago$160k - $175k
...Financial Reconciliation Subject Matter Expert We need an experienced Financial Reconciliation Subject Matter Expert at the Office of the Under Secretary of War (Comptroller) (OUSW(C)). The Comptroller’s office oversees the Department of War’s budget and financial...Full timeContract workWork at officeLocal areaRemote workWest 4th Strategy
Washington DC3 days ago$51k - $63k
...sleep well so they live well is at the core of what we do. The right mattress matters, and so does the right career. Our Sleep Experts® are at the heart of what we do: helping customers find their dream mattress and get better sleep. By joining our team, you’ll get...Mattress Firm
Laurel, MD4 days ago- A consulting firm seeks a Job Training and Education Expert to support the Department of Education by providing technical assistance, developing strategies for job training, and ensuring effective program implementation. Candidates must hold a Bachelor's degree and have...Full timeRemote work
ProSidian Consulting
Washington DC2 days ago $80 - $150 per hour
...About The Opportunity Anyone AI is seeking Chemistry Experts to develop challenging tasks that assess AI agents' ability to perform chemical reasoning — mechanisms, synthesis routes, and analytical interpretation. You will create original tasks and reference solutions...Hourly payRemote workFlexible hoursAnyone AI
Washington DC5 days ago$165k - $175k
...to a disability, contact this employer to ask for an accommodation or an alternative application process. OM&S-R Subject Matter Expert (SME) Full Time Washington DC, Washington DC, DC, US Salary Range: $165,000.00 To $175,000.00 Annually OM&S-R Subject Matter...Full timeImmediate start2 days per weekMontcure, LLC
Washington DC12 hours ago$8 - $65 per hour
...Prolific is looking for Mental Health Professionals in Washington, DC to help train advanced AI models. Participants will review AI-generated content, analyze psychological scenarios, and provide feedback to enhance AI responses. Ideal candidates should have verified...Hourly payRemote workWork from homeFlexible hoursProlific
Washington DC3 days ago- ...Title: Subject Matter Expert - International Operations Location: National Capital Region (NCR) Duration: Full-time; anticipated multi-year federal contract support Start date: Anticipated 2027; contingent upon contract award and Government approval...Permanent employmentFull timeContract workTemporary workFor contractorsOverseas
Knowledge Management, Inc.
Washington DC4 days ago $160k - $170k
...IT service delivery, optimizing performance, and proactively protecting DOE information systems. The Cybersecurity Subject Matter Expert (SME) plays a critical role in supporting this mission by applying advanced technical expertise, analytic capabilities, and domain-...Full timeContract workPart timeFor contractorsWork at officeRemote work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Theorem Proving Expert AI Trainer. Be the first to apply!
