← Back to Gigs
职位描述
**Researcher
- Lean 4 & Formal Proof Systems**
Day-to-day
- Write and formalize advanced mathematical proofs in Lean for AI research
- Ideal for mathematicians focused on formal verification and pushing the limi
Focus
- AI research
Details
Category
STEM Tutoring
Location
Remote
Employment Type
Freelance
Posted
2026/4/3