← Back to Gigs
职位描述
Mathematician (Foundations / Formalization)
Day-to-day
- Join the platform to formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl
Focus
- Formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl
Details
Category
STEM Tutoring
Location
Remote
Employment Type
Freelance
Posted
2026/4/3