Vacancy Description
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 syntaxCollaborate 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
Abo...
Ready to Apply?
अभी आवेदन करें
Submit your application for Pure Mathematics Specialist at Remotedxb
Apply for this Position