← Retour aux Emplois

Lean 4 Proof Engineer - Mathematical Formalization

Code Evaluation$20 - $80 per hour

Postuler Maintenant →

Description

**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

Postuler Maintenant →

Opportunités Similaires

Expert en génie logiciel (Programme Super Star)

$100 - $300 per hour

Expert en ingénierie - Sous-domaines spécialisés (Programme Super Star)

$100 - $300 per hour

Réseau de talents d'ingénieurs en apprentissage automatique

$70 - $250 per hour

Ingénieur logiciel en IA

$70 - $200 per hour

Ingénieur IA/ML

$70 - $200 per hour

View similar gigs →

Is Alignerr Legit?

How Much Do AI Jobs Pay?

How to Get Started