← Back to Gigs
仕事内容
**Lean 4 Proof Engineer
- Mathematical Formalization**
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
Code Evaluation
Location
Remote
Employment Type
Freelance
Posted
2026/4/3
関連する仕事
Review
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started