Deze vacature is automatisch vertaald. Het oorspronkelijke platform behandelt sollicitaties; controleer de oorspronkelijke eisen voordat je solliciteert. Oorspronkelijke pagina bekijken
Zet je expertise in gevorderde wiskunde in aan de frontlinie van AI-onderzoek — formaliseer bewijzen in Lean 4, volledig remote en uitzonderlijk goed betaald....
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.