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

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.