Lean 4 & Pure Math Specialist - AI Trainer (Remote)
$35 - $65 per hourMeridial
New York, NY
- Remote job
Meridial is seeking a Pure Mathematics Specialist for a Freelance AI Trainer Project. This role involves engaging deep mathematical expertise to train AI models in pure mathematics principles. You'll collaborate with our team, construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a PhD or is currently a PostDoc in pure mathematics, with a strong command of advanced topics. This position is 100% remote and offers a pay range of $35 to $65 per hour based on experience. #J-18808-Ljbffr Meridial
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Lean 4 & Pure Math Specialist - AI Trainer (Remote) in New York, NY vacancy
- Agency is seeking a Pure Mathematics and Lean 4 Specialist for a freelance AI trainer project. The role emphasizes rigorous proof construction, formalization in Lean 4, and collaboration to improve evaluation benchmarks. Ideal candidates hold a PhD or PostDoc in pure mathematics...SuggestedFreelance
$90 - $110 per hour
...technical talent with leading AI research labs.... ...Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving... ...$110/hour Location: Remote Commitment: 20–40 hours... ...metaprogramming or AI-for-math work such as LLM provers...Remote workContract workSummer workWeekday workMercor
Atlanta, GA13 days ago- ...to shape the future of AI? Large-scale language models... ...looking for mathematics specialists who live and breathe... ...experience, research in pure or applied mathematics,... ...Fluent in Swedish) - AI Trainer Employment Type Contract Workplace Type Remote Seniority Level Mid‑Senior...Remote workHourly payContract workFor contractorsFreelance
$8 - $30 per hour
...We are sourcing independent LaTeX Specialists to provide their expertise for an AI benchmark evaluation project. As AI... ...deliverables include: LaTeX & Math Rendering Correction: Identifying... ...Freelance / Independent Contractor Workplace Type: Remote #J-18808-Ljbffr AgencyRemote workHourly payFor contractorsFreelance$80 - $110 per hour
...built to test whether frontier AI models can carry out genuine physics... ...be complete enough for another specialist in your subfield to follow and... ...of configurations. 4. Conformal geometry: Fefferman... ...window, starting immediately. Remote and asynchronous with no fixed...Remote workHourly payImmediate start10 hours per week- ...governance, and continuous improvement of the Lean Supply Chain Pillar within the Conagra... ...leveraging digital manufacturing, Industry 4.0 technologies, smart manufacturing, or... ...can be high, and temperatures may vary. #LI-Remote#LI-SG1#LI-MSLCompensation Pay Range:$82,000-$...Remote workFull timeLocal areaFlexible hours
Conagra Brands
Chicago, IL3 days ago $100 per hour
...creative and technical talent with leading AI research labs. Headquartered in San Francisco... ...Compensation: $100/hour Location: Remote Role Responsibilities Build rolling 1... .... Qualifications Must-Have ~4+ years in a corporate treasury role at an...Remote workContract workSummer workMercor
Charlotte, NC15 days ago- ...first 25 applicants Get AI-powered advice on this... ...and solve complex math problems, such as multi-... ...work independently in a remote research environment and... ...Commitments Required: at least 4 hours per day and... ...- Quality Assurance (AI Trainer) We’re unlocking community...Remote workContract workFor contractorsFreelance
Turing
New York, NY9 hours ago $75 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $75/hour Location: Remote Role Responsibilities Analyze complex problems in physics...Remote workContract workSummer workInternshipFlexible hoursMercor
San Jose, CA15 days ago- ...an Applied Formal Methods Researcher to formalize challenging mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research. This is a fully remote, hourly contract role with 10-40 hours per week, offering intellectual challenge and flexible...Remote jobHourly payContract work10 hours per weekFlexible hours
$80 - $110 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $80–$110/hour Location: Remote Duration: 8 to 10 weeks Commitment: 10 hours/week Role...Remote workContract workSummer workMercor
Miami, FL15 days ago€90 per hour
Updated: 02 June 2026 Freelance | 8-20 hrs/week | Remote (EU/UK) Are you an experienced Lean / Six Sigma Black Belt passionate about shaping the future... ...Team as a Freelance Lean / Six Sigma Black Belt Expert - AI Trainer and put your process improvement knowledge to work...Remote jobHourly payFreelanceFlexible hours$16 - $17 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include... ...Annotator Type: Contract Compensation: $16–$17/hour Location: Remote Role Responsibilities Annotate assigned games such as Minecraft and...Remote workContract workSummer workMercor Inc
New York, NY1 day ago$8 - $65 per hour
...Video Production Specialist - Freelance AI Trainer Project United States of America Are you a video production expert eager to shape the future... ...Production Specialist – AI Trainer Employment type: Contract Workplace type: Remote Seniority level: Mid-Senior Level...Remote workHourly payContract workFor contractorsFreelanceImmediate startMeridial
United States2 days ago- ...directly shape how the world's most advanced AI systems reason, prove, and think? We're... ...formalize challenging mathematical proofs in Lean 4 — working at the very frontier of... ...mathematics and AI research. This is a fully remote, flexible contract role built for mathematicians...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
- ...Literature Specialist – Freelance AI Trainer Project World Wide - Remote Are you a literature expert eager to shape the future of AI? Large-scale language models are evolving from simple conversational tools into systems capable of analyzing texts, interpreting...Remote workHourly payContract workFor contractorsFreelance
Meridial
United States2 days ago $8 - $65 per hour
...Korean–Japanese Bilingual Specialist – AI Trainer World Wide - Remote Are you a bilingual professional fluent in Korean and Japanese eager to shape the future of AI? Large-scale language models are transforming the way we learn, work, and communicate—enabling cross...Remote workHourly payFor contractorsFreelanceWorldwideMeridial
United States2 days ago$85 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $85/hour Location: Remote Role Responsibilities Oversee cash posting and payment reconciliation...Remote workContract workSummer workMercor
Dallas, TX28 days ago- Invisible Technologies is seeking a STEM Specialist fluent in Korean to help train and evaluate large-scale language models. This remote, contract role focuses on rigorous STEM problem-solving and prompt evaluation. You will converse with the model on real-world STEM scenarios...Remote jobContract work
- Mercor is seeking experienced Project Management Specialists to evaluate and improve AI-driven project plans and workflows. You will... ..., and budgets on technical projects.This remote, part-time role starts immediately for about 4-6 weeks. Pay begins task-based, with...Remote workHourly payPart timeImmediate start
$8 - $65 per hour
Meridial is seeking a Thai Voice Acting Specialist for a freelance AI Trainer project, focusing on voice recording in a remote environment. Ideal candidates should possess near-native proficiency in Thai and be fluent in at least one additional language. Responsibilities...Remote jobHourly payFreelance$40 - $50 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $40–$50/hour Location: Remote Commitment: ~5 hours/week Role Responsibilities Evaluate...Remote workContract workSummer workMercor
Philadelphia, PA15 days ago- Project Overview We are sourcing independent Vocal Audio Specialists to provide their expertise for an AI audio model training project. As AI models... ...PTO do not apply. Engagement Type Freelance / Independent Contractor Workplace Type Remote #J-18808-Ljbffr AgencyRemote workHourly payFor contractorsFreelance
- ...resolve coding and reimbursement issues, while guiding documentation improvement and process optimization. The role requires CPC certification, 4+ years of physician coding experience, and strong knowledge of ICD-10-CM and CPT-4. #J-18808-Ljbffr Boston Children's HospitalRemote job
$35 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $35/hour Location: Remote Role Responsibilities Find images that may cause AI models...Remote workContract workSummer workMercor
Washington DC15 days ago$120 - $170 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $120–$170/hour Location: Remote Commitment: 20–25 hours/week Role Responsibilities Simulate...Remote workContract workSummer workMercor
Dallas, TX15 days ago$8 - $65 per hour
Healthcare Specialist (Fluent in French) - Freelance AI Trainer Project Large‑scale language models are evolving from clever chatbots into powerful engines of... ...Details Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior Level #J-18808-Ljbffr...Remote workHourly payContract workFor contractorsFreelance$140 - $190 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $140–$190/hour Location: Remote Commitment: 20–25 hours/week Role Responsibilities Generate...Remote workContract workSummer workMercor
Houston, TX15 days ago- ...partner company. We are currently looking for a Vocal Audio Specialist - Freelance AI Trainer Project in the United States. This role is centered on... ...consistency and accuracy. You will operate independently in a remote setup, ensuring each recording meets strict quality...Remote workHourly payFor contractorsFreelanceFlexible hours
$8 - $65 per hour
Are you a science specialist fluent in Hindi (Roman Script), eager to shape the future of AI? Large-scale language models are evolving... ...title: Science Specialist - AI Trainer (Fluent in Hindi - Roman Script... ...: Contract Workplace type: Remote Seniority level: Mid - Senior...Remote workHourly payContract workFor contractorsFreelance
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean 4 & Pure Math Specialist - AI Trainer (Remote). Be the first to apply!
Related searches
- addiction specialist New York, NY
- youth engagement specialist New York, NY
- denials specialist New York, NY
- mathematics specialist New York, NY
- configuration specialist New York, NY
- enterprise solutions specialist New York, NY
- member outreach specialist New York, NY
- vetting specialist New York, NY
- occupancy specialist New York, NY
- creative specialist New York, NY