← Voltar aos Trabalhos
Lean 4 Proof Engineer - Mathematical Formalization
Code Evaluation$20 - $80 per hour
Candidatar Agora →Descrição
**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
03/04/2026
Oportunidades Relacionadas
Especialista em Engenharia de Software (Programa Super Star)
$100 - $300 per hourEspecialista em Engenharia - Subdomínios Especializados (Programa Super Star)
$100 - $300 per hourRede de Talentos de Engenheiros de Aprendizagem Automática
$70 - $250 per hourEngenheiro de Software de IA
$70 - $200 per hourEngenheiro de IA/ML
$70 - $200 per hourReview
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started