Pure Mathematics Specialist – Freelance AI Trainer Project job opportunity at Meridial.

Home Jobs In Same As Address Tag: Finance & Mathematics Pure Mathematics Specialist – Freelance AI Trainer Project position at Meridial


bot
Meridial Pure Mathematics Specialist – Freelance AI Trainer Project
Experience: General
Pattern: Remote
Walk In
apply Apply Now
Salary:
Status:

Finance & Mathematics

Copy Link Report
degreePhD
Hiring inbound within World Wide - Remote

Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow’s AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI. We’re looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language.  On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures, and translate this material to successfully build in .lean syntax. You will also collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of our operations. Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal. A strong command of core areas is required, and applicants should be comfortable with topics such as Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen’s theorem, the Yoneda embedding, and representability in cohomology. Clear, metacognitive communication (explicitly articulating reasoning and proof strategies) is essential. Ready to turn your Lean 4 fluidity and pure math expertise into the reasoning backbone of tomorrow’s AI? Apply today and help teach the model that will support researchers, scientists, and engineers around the world. We offer a pay range of $35 to $65 per hour, with the exact rate determined after evaluating your experience, expertise, and geographic location. Final offer amounts may vary from the pay range listed above. As a contractor, you’ll supply a secure computer and high-speed internet; company-sponsored benefits such as health insurance and PTO do not apply. Job title: Pure Mathematics and Lean 4 Specialist – Freelance AI Trainer ProjectEmployment type: ContractWorkplace type: Remote

Other Ai Matches

Custody Operations Specialist - Freelance Project Applicants are expected to have a solid experience in handling Business & Professions related tasks
Cebuano Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Italian Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
STEM Specialist (Fluent in Hindi - Roman Script) - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Sciences related tasks
LaTex Specialist (Fluent in Chinese) - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Engineering & Technology related tasks
Coding Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Coding related tasks
Spanish (Colombia) Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Spanish Language Specialist (Latin America) - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Malay Trilingual Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Mathematics Specialist - AI Trainer Project- Freelance Applicants are expected to have a solid experience in handling Finance & Mathematics related tasks
remote-jobserver Remote
Basque Voice Acting Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Registered Nurse - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Medical/Healthcare related tasks
Spanish (Caribbean) Language Expert - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Oromo Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Kannada Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Sewing Specialist – Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Business & Professions related tasks
Spanish Language Specialist (Latin America) - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Finnish Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Hebrew Voice Acting Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Kurdish (Sorani) Language Expert - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
remote-jobserver Remote
Georgian Language Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Language & Linguistics related tasks
Attorney Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Law related tasks
Garment Manufacturing QC Specialist - Freelance AI Trainer Project Applicants are expected to have a solid experience in handling Business & Professions related tasks