SVG Image
< Terug naar nieuws

21 Februari 2024

Open PhD-positie Machine Learning for Automated Reasoning

Ben je geïnteresseerd om in een interdisciplinaire onderzoekssetting te werken aan onderwerpen op het snijvlak van logica, machine learning en geautomatiseerd redeneren? Het Instituut voor Logica, Taal en Computatie (ILLC) is op zoek naar een getalenteerde promovendus.
Je onderzoek zal deel uitmaken van de eenheid Theoretische Computerwetenschappen van het ILLC en zal betrekking hebben op het gebruik van machine learning voor geautomatiseerd redeneren (zoals het bewijzen van wiskundige stellingen en/of declaratief redeneren op basis van beperkingen).

Wat ga je doen?
Er wordt van je verwacht dat je: binnen de officiële aanstellingsduur van vier jaar een proefschrift afrondt en verdedigt; onderzoeksresultaten regelmatig presenteren op internationale workshops en conferenties, en deze publiceren in congresverslagen en tijdschriften; deelnemen aan en bijdragen aan de organisatie van onderzoeksactiviteiten en evenementen op het Instituut, zoals workshops en colloquia; een kleine bijdrage leveren aan de onderwijsmissie van de FNWI door als onderwijsassistent te werken bij vakken op jouw vakgebied en door te assisteren bij de begeleiding van onderzoeksprojecten van studenten; Draag bij aan het onderzoeksprogramma van de UvA op het gebied van kunstmatige intelligentie.

Lees hier alles.