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 in matematica avanzata al servizio della frontiera della ricerca sull'IA — formalizza dimostrazioni in Lean 4, completamente da remoto ed eccezionalmente ben retribuito....
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à.