Deze vacature is automatisch vertaald. Het oorspronkelijke platform behandelt sollicitaties; controleer de oorspronkelijke eisen voordat je solliciteert. Oorspronkelijke pagina bekijken
Zet je wiskundige expertise in aan de frontlinie van AI. Formaliseer geavanceerde bewijzen in Lean 4 — volledig op afstand, diepgaand zinvol, uitzonderlijk pa...
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.