Informazioni sul ruolo
Fatti pagare fino a $150/ora per formalizzare dimostrazioni matematiche all'avanguardia in Lean — contribuisci a spingere oltre la frontiera del ragionamento dell'IA. Da remoto e flessibile....
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.