← Volver a Trabajos
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
STEM Tutoring$15 - $60 per hour
Aplicar Ahora →Descripción
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
3/4/2026
Oportunidades Relacionadas
Profesores e investigadores en STEM
$300 - $500 per hourProfesional del sector nuclear
$180 - $300 per hourExperto en ingeniería eléctrica (Programa Super Star)
$100 - $300 per hourArquitecto de sistemas de seguridad (Programa Super Star)
$100 - $300 per hourExperto en biología traslacional
$110 - $135 per hourReview
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started