À propos du poste
Mettez votre maîtrise des preuves formelles au service de la pointe de l'IA. Formalisez des mathématiques avancées en Lean 4 — à distance, flexible et exceptionnellement bien p...
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.