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 2 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
Pure Mathematics Specialist - Freelance AI Trainer Project World Wide - Remote Are you a theoretical mathematics expert eager to shape the... ...have a normalized fluency in Lean 4, the proof assistant and programming... ...your Lean 4 fluidity and pure math expertise into the reasoning...Remote workHourly payContract workFor contractorsFreelance$35 - $65 per hour
Invisible Agency is seeking a Pure Mathematics Specialist for a Freelance AI Trainer Project. This remote position requires a theoretical mathematics expert to construct... ...and correctness. Ideal candidates are fluent in Lean 4 and have a PhD or PostDoc experience in pure mathematics...Remote jobHourly payFreelance- Mathematics Specialist (Fluent in Korean) - Freelance AI Trainer Project World Wide - Remote Are you a mathematics expert fluent in Korean, eager to shape the future of AI?... ...publications, teaching experience, research in pure or applied mathematics, or hands‑on experience...Remote workHourly payContract workFor contractorsFreelanceImmediate start
$8 - $30 per hour
LaTeX Specialist - Freelance AI Trainer Project World Wide - Remote Project Overview We are sourcing independent LaTeX Specialists to provide their expertise for... ...outputs. Expected deliverables include: LaTeX & Math Rendering Correction: Identifying and correcting malformed...Remote workHourly payFor contractorsFreelance- Mathematics Specialist (Fluent in Swedish) - Freelance AI Trainer Project World Wide - Remote Are you a mathematics expert fluent in Swedish, eager to shape the future of... ...publications, teaching experience, research in pure or applied mathematics, or hands‑on...Remote workHourly payContract workFor contractorsFreelance
- ...translate dense mathematical arguments into Lean 4, focusing on formal proofs and AI training workflows. You will work at the intersection of pure mathematics and cutting-edge AI research... ...-verifiable form. This is a fully remote, flexible hourly contract with 10-40 hours...Remote jobHourly payContract work10 hours per weekFlexible hours
$70 - $150 per hour
Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train... ...mathematical proofs in Lean for cutting‑edge AI... ...Verification Scientist (Lean 4 & Mathlib) Type:... ...topology, logic, or discrete math. Hands‑on experience...Remote workHourly payContract workFreelanceFlexible hours$60 - $75 per hour
...connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Contract Compensation: $60–$75/hour Location: Remote Duration: 3–4 weeks Commitment: 30–40 hours/week Role Responsibilities...Remote workContract workSummer workImmediate startFlexible hoursMercor
New York, NY1 day ago- A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience...Remote jobFlexible hours
- Alignerr is seeking a Researcher to translate informal mathematical arguments into Lean 4 formalizations, testing the boundaries of proof assistants and AI-driven verification. This is a fully remote, hourly contract with flexible hours. Join a team pushing mechanized...Remote jobHourly payContract workFlexible hours
- Actuarial Science Specialist - Freelance AI Trainer Project United States of America Are you an actuarial science expert eager to shape the future... ...do not apply. Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior Level #J-18808-Ljbffr MeridialRemote workHourly payContract workFor contractorsFreelance
- ...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
- Biz Tech Consultants is looking for a freelance worker for a Hindi annotation project. This role demands a strong command of Pure Hindi as you'll be tasked with reviewing and annotating content accurately according to specific guidelines. The ideal candidate has to ensure...Remote jobPart timeFreelanceWork from home
- ...Connections Academy in Michigan seeks an Elementary Math Interventionist to support MTSS/RTI using... ...teachers. The position is full-time, remote or based in Southfield, MI, requiring a... ...and organizational skills are essential. #J-18808-Ljbffr Connections-Education-4Remote jobFull time
$50 - $150 per hour
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master...Remote jobHourly pay- ...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 themes,...Remote workHourly payContract workFor contractorsFreelance
Meridial
New York, NY4 days 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 of... ...Specialist – AI Trainer Employment type: Contract Workplace type: Remote Seniority level: Mid‑Senior Level #J-18808-Ljbffr...Remote workHourly payContract workFor contractorsFreelanceImmediate startInvisible Agency
Nashville, TN2 days ago$8 - $65 per hour
...Korean-Japanese Bilingual Specialist - Freelance AI Trainer Project 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—...Remote workHourly payContract workFor contractorsFreelanceWorldwideMeridial
New York, NY17 hours ago$65k - $80k
InProduction is seeking a Continuous Improvement Specialist to drive a continuous improvement culture within the organization. This role... ...processes and sharing best practices while supporting training on Lean and Continuous Improvement principles. The ideal candidate will...Remote jobFull time- Seating Solutions is seeking a detail-oriented Continuous Improvement professional to support lean initiatives across our office and remote environments. The role focuses on documenting standard work, leading Kaizen events, and driving operational improvements with cross...Remote jobWork at office
$34.25 - $44.54 per hour
Academic Personnel Specialist (BLANK AST 4) Apply By Date 07/15/2026 by 11:59 pm Qualifications H.S. Diploma or equivalent. Experience working... ...Eligible: Yes This position is hybrid (mix of on‑site and remote work) Benefits High quality and low-cost medical plans to...Remote workHourly payTemporary workZero hours contractWork at officeLocal areaShift work$75 per hour
...Success Team ensures identification of students requiring intensive services. Coordination and collaboration with behavioral health specialists ensure the development and implementation of student supports, and attendance at appropriate student activities and events is...Remote jobTemporary work- ...OR Bachelor's degree plus three years related experience LEVEL 4: Master's degree in Social Work, Public Health, Sociology, Psychology... ...dexterity enough to use equipment such as computer keyboard, remote controls, and switches, etc. Vision enough to read and draft written...Remote workImmediate startFlexible hoursShift workWeekend workAfternoon shift
- 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 jobHourly payFreelance
$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$100 per hour
Mercor is looking for a Trade Surveillance Expert (Market Abuse & Conduct Monitoring) for a remote role. The candidate will analyze trading scenarios for market abuse, evaluate AI-generated alerts, and refine surveillance rubrics. A successful applicant will have a...Remote job- Meridial is seeking a Coding Specialist fluent in German to join their remote team. As a contractor, you will support AI training by engaging with advanced language models and solving coding challenges in German. The role requires a strong background in coding, knowledge...Remote jobFor contractors
- A remote AI firm is seeking skilled GIMP users for project-based, flexible contract opportunities to support AI research. You'll leverage your experience in digital art creation and graphic design to evaluate AI-generated content and offer feedback. Ideal candidates will...Remote jobContract workFreelanceFlexible hours
$150 per hour
...meaningful progress, and a supportive team culture. We're seeking a passionate BCBA or BCBA-D to join our Victorville team in a hybrid or remote role that blends clinical leadership with hands‑on impact. Here, your expertise isn't just valued - it drives real change. Why...Remote jobHourly pay$64.9k - $84.85k
...transfer to your application. Job Title Senior Academic Program Specialist 4 Department Engineering | Community, Access, Retention and... ...various stakeholders is inherent to the role, opportunities for remote or hybrid work schedules are limited. Required Qualifications...Remote workWork at officeShift workDay shiftAfternoon shift
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
- order management specialist New York, NY
- measurement specialist New York, NY
- senior systems specialist New York, NY
- facility management specialist New York, NY
- human factors specialist New York, NY
- leasing specialist New York, NY
- order specialist New York, NY
- funding specialist New York, NY
- assessment specialist New York, NY
- ergonomic specialist New York, NY