Pure Mathematics Specialist – Freelance AI Trainer Project
Meridial Marketplace, by Invisible · Spain
- Hybrid
- Contract
- $80,000 / year
- Spain
Job highlights
- Shape AI's future with pure mathematics expertise.
- Develop high-quality mathematical training data for AI.
- Utilize expertise in advanced math and Lean 4.
- Construct and evaluate complex mathematical proofs.
- Collaborate to enhance AI reasoning benchmarks.
About the role
Pure Mathematics Specialist AI Trainer
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.
About the Role
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.
Key Responsibilities
- Construct and evaluate complex proofs.
- Substantiate mathematical reasoning for correctness and rigor.
- Identify subtle conceptual or logical failures in mathematical reasoning.
- Translate mathematical material into Lean 4 syntax.
- Collaborate with the team to refine prompts, evaluation frameworks, and benchmarks.
Qualifications
- PhD or Postdoc experience in pure mathematics (in-progress or recently completed).
- Strong command of core mathematical areas including probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory.
- Familiarity with concepts 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.
- Normalized fluency in Lean 4.
- Clear, metacognitive communication skills (explicitly articulating reasoning and proof strategies).
Compensation and Benefits
Pay range: $35 to $65 per hour, determined by experience, expertise, and geographic location. Final offer amounts may vary.
As an independent contractor, you will supply your own secure computer and high-speed internet. Company-sponsored benefits such as health insurance and PTO do not apply.
Key skills/competency
- Pure Mathematics
- Lean 4
- AI Training
- Proof Construction
- Mathematical Reasoning
- Functional Analysis
- Probability Theory
- Abstract Algebra
- Category Theory
- Metacognitive Communication
Skills & topics
- Pure Mathematics
- AI Trainer
- Lean 4
- Freelance
- Contractor
- Mathematics Specialist
- AI Development
- Proof Assistant
- Functional Analysis
- Probability Theory
- Measure Theory
- Abstract Algebra
- Category Theory
- Remote Work
How to get hired
- Tailor your resume: Highlight your pure mathematics PhD/Postdoc experience and Lean 4 fluency.
- Showcase your skills: Quantify your experience in proof construction and mathematical reasoning.
- Prepare for technical questions: Be ready to discuss advanced mathematical concepts and Lean 4 syntax.
- Demonstrate communication: Practice articulating complex mathematical strategies clearly and concisely.
- Understand the role: Emphasize how your expertise will advance AI capabilities.
Technical preparation
Master Lean 4 syntax and proof construction.,Deepen understanding of functional analysis theorems.,Review abstract algebra and category theory concepts.,Practice translating proofs into formal language.
Behavioral questions
Describe a complex proof you constructed.,How do you identify logical failures in math?,Explain a mathematical concept clearly.,How do you approach learning new formal languages?
Frequently asked questions
- What is the primary goal of the Pure Mathematics Specialist AI Trainer role at Invisible?
- The primary goal is to leverage your deep expertise in pure mathematics and Lean 4 to create high-quality training data that enhances the proof-based reasoning capabilities of large-scale language models.
- What level of mathematical expertise is required for this Pure Mathematics Specialist AI Trainer position?
- Candidates ideally have an in-progress or recently completed PhD or Postdoc in pure mathematics, with a strong command of advanced topics like measure theory, functional analysis, abstract algebra, and category theory.
- Is fluency in Lean 4 essential for the Pure Mathematics Specialist AI Trainer role?
- Yes, normalized fluency in Lean 4, the proof assistant and programming language, is a key requirement for this position.
- What kind of mathematical concepts will I be working with as a Pure Mathematics Specialist AI Trainer?
- You will engage with advanced topics such as Markov’s and Chebyshev’s inequalities, convergence theorems, the Riesz representation theorem, Van Kampen’s theorem, and the Yoneda embedding, among others.
- What are the remote work arrangements for the Pure Mathematics Specialist AI Trainer position?
- This is a fully remote, freelance contract position. You will need to supply your own secure computer and high-speed internet.
- What is the compensation for a Pure Mathematics Specialist AI Trainer at Meridial Marketplace by Invisible?
- The pay range is $35 to $65 per hour, with the exact rate determined by your experience, expertise, and geographic location. Please note that as a contractor, company-sponsored benefits do not apply.
- How will my mathematical reasoning be evaluated in this Pure Mathematics Specialist AI Trainer role?
- You will be responsible for constructing and evaluating complex proofs, substantiating the mathematical reasoning for correctness and rigor, and identifying subtle conceptual or logical failures.
- What does 'metacognitive communication' mean in the context of this Pure Mathematics Specialist AI Trainer job?
- Metacognitive communication means you can clearly and explicitly articulate your own reasoning processes, proof strategies, and thought patterns, especially when translating mathematical concepts into Lean 4.