Over de functie
Verdien tot $200/uur door geavanceerde wiskundige bewijzen in Lean 4 te formaliseren voor geavanceerd AI-onderzoek. Remote, flexibel en gemaakt voor serieuze wiskundige...
Het platform geeft een korte samenvatting. Lees alle eisen in de oorspronkelijke vacature.