Informazioni sul ruolo
Metti la tua padronanza delle dimostrazioni formali al servizio della frontiera dell'IA. Formalizza matematica avanzata in Lean 4 — da remoto, flessibile ed eccezionalmente ben p...
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.