À propos du poste
Mettez votre expertise mathématique au service de la pointe de l'IA. Formalisez des preuves avancées en Lean 4 — entièrement à distance, profondément porteur de sens et exceptionnell...
La plateforme fournit un bref résumé. Consultez l’offre d’origine pour tous les critères.