Informazioni sul ruolo
Fatti pagare fino a $200/ora per formalizzare matematica avanzata in Lean 4 — lavora alla frontiera della verifica formale e contribuisci a plasmare il futuro del ragionamento dell'IA....
La piattaforma fornisce un breve riepilogo. Leggi tutti i requisiti nell’annuncio originale.