Deze vacature is automatisch vertaald. Het oorspronkelijke platform behandelt sollicitaties; controleer de oorspronkelijke eisen voordat je solliciteert. Oorspronkelijke pagina bekijken
De wereldklasse wiskundige traditie van Polen hoort aan de frontlinie van AI — formaliseer geavanceerde bewijzen in Lean 4, volledig remote en volgens je eigen tijdschema...
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.