Questo annuncio è stato tradotto automaticamente. La piattaforma originale gestisce le candidature; verifica i requisiti originali prima di candidarti. Visualizza pagina originale
Metti a frutto la tua competenza matematica all'avanguardia dell'IA. Formalizza dimostrazioni avanzate in Lean 4 — completamente da remoto, profondamente significativo, eccezionalmente re...
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à.