← Retour aux Emplois
Formal Verification Scientist (Lean 4 & Mathlib)
STEM Tutoring$15 - $60 per hour
Postuler Maintenant →Description
Formal Verification Scientist (Lean 4 & Mathlib)
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
03/04/2026
Opportunités Similaires
Professeurs et chercheurs en sciences, technologie, ingénierie et mathématiques (STEM)
$300 - $500 per hourProfessionnel du nucléaire
$180 - $300 per hourExpert en génie électrique (Programme Super Star)
$100 - $300 per hourArchitecte en systèmes de sécurité (Programme Super Star)
$100 - $300 per hourExpert en biologie translationnelle
$110 - $135 per hourReview
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started