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$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
- 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
- ...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
- ...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 $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$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 and Japanese eager to shape the future of AI? Large-scale language models are transforming... ...Job Details Job title: Korean–Japanese Bilingual Specialist – AI Trainer Employment type: Contract Workplace type: Remote Seniority level: Entry Compensation We offer a pay...Remote workHourly payContract workFor contractorsFreelanceMeridial Marketplace, by Invisible
New York, NY18 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
$8 - $65 per hour
Meridial is looking for a Coding Specialist fluent in Japanese to work on a freelance AI trainer project. This remote role involves designing coding tasks in Japanese, reviewing AI model outputs, and suggesting improvements based on your expertise. The ideal candidate...Remote jobHourly payFreelance$77.1k - $139.9k
Program Specialist - Transforming CalWORKs Under the general direction of the Transforming CalWORKs... ...Grade: 22 UC Job Title: PUBL EDUC SPEC 4 UC Job Code: 004169 Number of... ...This position is hybrid (mix of on-site and remote work) Benefits High quality and low-cost...Remote workContract workTemporary workLocal 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$8 - $65 per hour
An innovative tech company is seeking a Korean-Japanese Bilingual Specialist - AI Trainer to enhance AI language models. This remote, entry-level contractor role requires fluency in both languages and an eye for detail. You will review translations, provide feedback, and...Remote jobHourly payFor contractors- 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
$1,150 - $1,450 per month
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ...Compensation: $1,150–$1,450 per completed task Location: Remote Role Responsibilities Build a realistic digital workspace centered...Remote workHourly payFull timeContract workSummer workMercor
Philadelphia, PAa month ago$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$45 per hour
...to record videos using Meta Ray-Bans, ensuring quality and compliance with project standards. This role offers flexibility with a remote working option based in Houston, TX. The ideal candidate will own a pair of Meta Ray-Bans glasses and collaborate with teams to refine...Remote jobHourly payContract work- 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
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