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
Les talents mathématiques de l'Allemagne façonnent l'avenir de l'IA — formalisez des preuves en Lean 4 selon votre propre emploi du temps, entièrement à distance et très gratifiant....
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é.