Deze vacature is automatisch vertaald. Het oorspronkelijke platform behandelt sollicitaties; controleer de oorspronkelijke eisen voordat je solliciteert. Oorspronkelijke pagina bekijken
Word betaald om de grenzen van de formele wiskunde te verleggen — schrijf Lean-bewijzen die uitdagen wat AI kan verifiëren. Volledig remote, zeer gespecialiseerd....
Het platform geeft een korte samenvatting. Lees alle eisen in de oorspronkelijke vacature.
De bron vermeldt niet in welke landen kandidaten mogen wonen of werken. Bekijk de oorspronkelijke vacature. Werk op afstand en de vermelde werklocatie bewijzen geen toelating.