Cette offre a été traduite automatiquement. La plateforme d’origine gère les candidatures ; vérifiez ses critères originaux avant de postuler. Voir la page d’origine
Soyez rémunéré jusqu'à 150 $/h pour formaliser des preuves mathématiques de pointe en Lean — contribuez à repousser les frontières du raisonnement de l'IA. À distance et flexible....
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.
La source ne précise pas dans quels pays les candidats peuvent vivre ou travailler. Consultez l’offre d’origine. Le travail à distance et le lieu annoncé n’établissent pas l’admissibilité.