Lean 4 & Pure Math Specialist - AI Trainer (Remote)
$35 - $65 per hourMeridial
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
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
$35 - $65 per hour
...Job Application for Pure Mathematics Specialist – Freelance AI Trainer Project at Meridial Back to... ...Project World Wide - Remote Are you a theoretical... ...a normalized fluency in Lean 4, the proof assistant and... ...Lean 4 fluidity and pure math expertise into the reasoning...Remote workHourly payContract workPart timeFor contractorsFreelanceInvisible Technologies
San Francisco, CA23 days ago- 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
$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...Remote workHourly payFor contractorsFreelanceAgency.com
New York, NY12 hours 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,... ...Portuguese - Brazil) – AI Trainer Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior...Remote workHourly payContract workFor contractorsFreelance
Invisible Technologies Inc. Defunct
New York, NY4 days ago $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 work- ...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
$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 Evaluate complex problems in physics...Remote workContract workSummer workInternshipMercor
Austin, TX26 days ago- ...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
Omaha, NE9 days ago $70 - $110 per hour
...Mercor is actively seeking Nurse Practitioners for a remote, contract engagement lasting 4–6 weeks. You will evaluate AI-generated clinical content, provide expert feedback, and help improve model performance while working independently on a flexible schedule. Requirements...Remote workHourly payContract workFlexible hoursMercor Inc
United States4 days ago- ...could directly shape the future of AI reasoning? We're looking for... ...proof systems — especially Lean — to tackle problems that sit beyond... ...tools. This is a fully remote, flexible contract role at the... ...experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
New York, NY9 hours ago - ...Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical... ...Lean formalizations for AI research. You’ll tackle proofs beyond... ...mechanized mathematics in a fully remote setting. Ideal candidates hold a strong math background, proven proof-writing skills...Remote work
Alignerr Corp.
United States4 days ago - ...Scientist to translate advanced mathematics into Lean 4 formalizations at the edge of what proof assistants can automate. This is a remote, hourly contract role designed for... ...formal structures. You will collaborate with AI researchers, develop readable Lean proofs, and...Remote workHourly payContract work
Alignerr Corp.
United States3 days ago - ...first 25 applicants Get AI-powered advice on this job... ...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 jobContract workFor contractorsFreelance
- ...formal proof systems could directly shape how AI understands and reasons about mathematics?... ..., capture, and automate. This is a fully remote, flexible contract role ideal for... ...Translate informal mathematical proofs into Lean 4 (and related proof systems) with an emphasis...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
Seattle, WA4 days ago $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, NY3 days ago$8 - $65 per hour
...Meridial is seeking a LaTeX Specialist fluent in German for a freelance AI Trainer project. You will engage with language models on document preparation and complex... ...document typesetting skills. This role is 100% remote with competitive pay ranging from $8 to $65 per hour...Remote workHourly payFreelanceMeridial
United States2 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 workContract work
Invisible Technologies Inc. Defunct
New York, NY4 days ago - ...Meridial is seeking a Korean Voice Acting Specialist for a freelance AI Trainer project. This remote position requires a highly skilled individual capable of enhancing AI voice models by providing clear, nuanced voice samples. The role involves recording, evaluating AI...Remote workHourly payFreelance
Meridial
New York, NY4 days ago $40 - $125 per hour
...Mathematics AI Trainer (Remote)100% Remote | Part-Time or Full-Time | Freelance... ...and operations research Pure mathematics with applied practice... ...traps; the assessment leans on this ~ Working understanding... ...'s unpaid, takes about 2 to 4 hours and tests domain judgment...Remote workHourly payFull timeContract workPart timeFreelance10 hours per weekAfternoon shift$8 - $65 per hour
...Meridial is seeking a remote Coding Specialist proficient in French to assist in AI training. You will engage with advanced language models on software engineering tasks, ensuring logical accuracy and fluency in French while documenting your findings. The ideal candidate...Remote workHourly payFlexible hoursMeridial
United States5 days ago$45 per hour
...Evaluate AI-generated Java code for correctness and production readiness. Assess design, efficiency, edge cases, and reasoning. Responsibilities... ...system design. $45/hour after passing the Java assessment. Fully remote freelance work. No employer-sponsored benefits. Jobgether...Remote workFreelanceJobgether
United States3 days ago- ...teams, and staff to 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-LjbffrRemote work
Boston Children's Hospital
Westwood, MA5 days ago - ...Services is seeking a Sr. Escrow Oversight Specialist to support our remote team from home. You will oversee loans... ...issues with leadership.You'll bring 3–4 years in banking/finance/mortgage,... ...other servicing systems, and strong math and Excel skills. This role offers competitive...Remote work
Carrington
Boise, ID5 days ago $8 - $65 per hour
...Japanese eager to shape the future of AI? Large-scale language models are... ...for a Korean Japanese Bilingual Specialist who can bring linguistic... ...Japanese Bilingual Specialist – AI Trainer Employment type: Contract Workplace type: Remote Seniority level: Entry #J-18808-Ljbffr...Remote workHourly payContract workFor contractorsFreelanceInvisible Technologies Inc. Defunct
New York, NY4 days ago$8 - $65 per hour
...Meridial is seeking a LaTeX Specialist fluent in French for an exciting freelance AI Trainer Project. In this remote role, you will engage with models on document preparation scenarios and verify their formatting accuracy. The position demands expertise in document typesetting...Remote workHourly payContract workFor contractorsFreelanceMeridial
Cedar Grove, WI4 days ago- ...AfterQuery is seeking PowerPoint Specialist Experts to create and refine presentation design challenges for training AI models. In this remote, flexible role, you will design and evaluate presentation scenarios that test the AI's ability to interpret and apply complex...Remote workHourly payFlexible hours
AfterQuery
New York, NY3 days ago $60 - $80 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Type: Contract Compensation: $60–$80/hour Location: Remote Role Responsibilities Review expert-written tasks, including...Remote workContract workSummer workMercor
Chicago, IL3 days ago$8 - $65 per hour
...Science Specialist (Fluent in French) – Freelance AI Trainer Project Are you a science specialist fluent in French, eager to shape the future of AI? Large‑scale... ...French) Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior Level #J-18808-Ljbffr...Remote workHourly payContract workFor contractorsFreelanceImmediate startMeridial
Indiana, PA4 days ago$8 - $65 per hour
...Coding Specialist (Fluent in French) - Freelance AI Trainer Project Are you a coding expert fluent in French eager to shape the future of AI? Large‑scale... ...Trainer Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior Level #J-18808-...Remote workHourly payContract workFor contractorsFreelanceImmediate startMeridial
Indiana, PA5 days ago$8 - $65 per hour
...Meridial is seeking a STEM Specialist fluent in French for a freelance AI Trainer project. This role involves shaping the future of AI by providing high-quality training data through your expertise in computer science. You will participate in discussions with AI models...Remote workHourly payFreelanceMeridial
Indiana, PA4 days ago
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
- sewing specialist New York, NY
- graduation specialist New York, NY
- sem specialist New York, NY
- technology integration specialist New York, NY
- consumer insights specialist New York, NY
- drilling fluids specialist New York, NY
- vulnerability management specialist New York, NY
- evaluation specialist New York, NY
- escalation specialist New York, NY
- outsourcing specialist New York, NY