Informazioni sul ruolo
Fatti pagare per spingere la frontiera della matematica formale: scrivi dimostrazioni in Lean che mettono alla prova ciò che l'IA può verificare. Completamente da remoto, altamente specializzato....
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.