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
Mettez votre expertise Lean 4 au service de l'avenir du raisonnement mathématique de l'IA. À distance, flexible et exceptionnellement bien rémunéré....
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é.