← Back to Gigs
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
STEM Tutoring$15 - $60 per hour
今すぐ応募 →仕事内容
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Day-to-day
- Write and formalize advanced mathematical proofs in Lean for advanced AI research
- Ideal for mathematicians passionate about formal verification a
Focus
- Advanced AI research
Details
Category
STEM Tutoring
Location
Remote
Employment Type
Freelance
Posted
2026/4/3