À propos du poste
Mettez votre expertise mathématique au service de la pointe de l'IA. Formalisez des preuves avancées en Lean 4, façonnez l'avenir des mathématiques mécanisées — entièrement...
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.