À propos du poste
La tradition mathématique de classe mondiale de la Pologne a sa place à la frontière de l'IA — formalisez des preuves avancées en Lean 4, entièrement à distance et selon votre propre emploi du temps...
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.