À propos du poste
Soyez rémunéré jusqu'à 200 $/h pour formaliser des preuves mathématiques avancées en Lean 4 pour la recherche de pointe en IA. À distance, flexible et pensé pour de sérieux mathématicien...
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.