Informazioni sul ruolo
Metti la tua esperienza matematica al servizio della frontiera dell'IA. Formalizza dimostrazioni avanzate in Lean 4, plasma il futuro della matematica meccanizzata — completamente...
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.