Questo annuncio è stato tradotto automaticamente. La piattaforma originale gestisce le candidature; verifica i requisiti originali prima di candidarti. Visualizza pagina originale
Metti la tua esperienza matematica al servizio della frontiera dell'IA. Formalizza dimostrazioni avanzate in Lean 4 — completamente da remoto, profondamente significativo ed eccezionalm...
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.
La fonte non specifica in quali paesi i candidati possano vivere o lavorare. Controlla l’annuncio originale. Il lavoro da remoto e la sede indicata non stabiliscono l’idoneità.