Informazioni sul ruolo
Fatti pagare fino a $200/ora per formalizzare dimostrazioni matematiche avanzate in Lean 4 per la ricerca sull'IA all'avanguardia. Da remoto, flessibile e pensato per matematici seri...
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.