Open PhD-positie Machine Learning for Automated Reasoning

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.