Pure Mathematics Specialist

Responsibilities

• Construct and evaluate complex mathematical proofs
• Substantiate mathematical reasoning for correctness and rigor
• Identify subtle conceptual or logical failures in reasoning
• Translate mathematical material into Lean 4 syntax
• Collaborate with teams to refine prompts, evaluation frameworks, and reasoning benchmarks

Requirements

• Deep foundations in pure mathematics (probability theory, measure theory, real/functional analysis, abstract algebra, or category theory)
• Normalized fluency in Lean 4 proof assistant
• Ability to articulate reasoning and proof strategies clearly
• Proficiency with advanced topics such as Riesz representation theorem, Banach–Alaoglu, or the Yoneda embedding

Preferred Qualifications

• In-progress or freshly earned PhD in pure mathematics
• Current PostDoc experience in pure mathematics

About the Company

This project focuses on providing high-quality mathematical training data to advance the reasoning capabilities of large-scale language models.