Matematico – Formalizzazione e fondamenti dell'IA (contratto da remoto)

$170–$200/oraAlignerrSede del lavoro: Warsaw, PolandDa remotoRequisiti geografici non specificati

Questo annuncio è stato tradotto automaticamente. La piattaforma originale gestisce le candidature; verifica i requisiti originali prima di candidarti. Visualizza pagina originale

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.

Paesi dei candidati
Requisiti geografici non specificati

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à.

Modalità di lavoro
Da remoto
Sede di lavoro indicata
Warsaw, Poland
Pubblicazione originale
Non fornito
Ultimo controllo
2026-11-03 12:00 UTC
Altre offerte in questa specializzazione →