Lean 4 & Pure Math Specialist - AI Trainer (Remote)

Meridial; United States; Remote; USD 48,216 - 89,544; Part time

Benefits offered by this job

Flexible working hours

Work from anywhere

Job summary

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.

Qualifications

• Expertise in probability theory, measure theory, real and functional analysis.
• Comfortable with advanced mathematical topics and concepts.
• Ability to clearly articulate reasoning and proof strategies.

Responsibilities

• Construct and evaluate complex proofs for AI training.
• Collaborate with the team to improve evaluation frameworks.
• Translate mathematical material into .lean syntax.

Skills

Lean 4 fluency

Advanced mathematics

Proof construction

Logical reasoning

Education

PhD or PostDoc in pure mathematics

Job description

Pure Mathematics Specialist – Freelance AI Trainer Project

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 Project
Employment type: Contract
Workplace type: Remote

Apply for this job

*

indicates a required field

First Name *

Last Name *

Email *

Phone

Country *

Phone *

Location (City) *

Resume/CV *

Enter manually

Accepted file types: pdf, doc, docx, txt, rtf

Education

School Select...

Degree * Select...

Select...

Start date year *

End date year *

What country are you currently a resident of? * Select...

If you are currently based in United States, please confirm your current state of residence. If you are based outside of the United States, select "I am not located in the United States". * Select...

LinkedIn Profile *

Please acknowledge that you have read and agree to our Privacy Policy. *

Yes

By clicking "Submit Application", you agree to Invisible's Privacy Policy .