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 en mathématiques avancées au service de la pointe de la recherche en IA — formalisez des preuves en Lean 4, entièrement à distance 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é.