Informazioni sul ruolo
La straordinaria tradizione matematica della Polonia appartiene alla frontiera dell'IA — formalizza dimostrazioni avanzate in Lean 4, completamente da remoto e secondo i tuoi tempi...
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.