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.

Vergelijkbaar >

Vergelijkbare nieuwsitems

>Bekijk alle nieuwsitems >
 De Amsterdamse Visie op AI: Een Realistische Blik op Kunstmatige Intelligentie

14 November 2024

De Amsterdamse Visie op AI: Een Realistische Blik op Kunstmatige Intelligentie >

In het nieuwe beleid, De Amsterdamse Visie op AI, wordt beschreven hoe kunstmatige intelligentie (AI) een rol mag spelen in Amsterdam, en hoe deze technologie het leven in de stad mag beïnvloeden volgens de inwoners. Deze visie is tot stand gekomen na een maandenlang proces van gesprekken en dialoog, waarin een breed scala aan Amsterdammers – van festivalbezoekers tot schoolkinderen en van experts tot digibeten – hun mening gaven over de toekomst van AI in hun stad.  

Lees meer >

Interview: KPN Responsible AI Lab met Gianluigi Bardelloni en Eric Postma

14 November 2024

Interview: KPN Responsible AI Lab met Gianluigi Bardelloni en Eric Postma >

ICAI's Interview featured deze keer Gianluigi Bardelloni en Eric Postma, zij praten over de ontwikkelingen in hun ICAI Lab.

Lees meer >

AI pilots TLC Science: Generatieve AI in wetenschappelijk onderwijs

14 november

AI pilots TLC Science: Generatieve AI in wetenschappelijk onderwijs >

De UvA is een nieuw project gestart waarbij het Teaching & Learning Centre Science onderzoekt hoe Generatieve AI, specifiek ChatGPT, kan bijdragen aan het verbeteren van academisch onderwijs. Binnen dit pilotprogramma aan de Faculteit der Natuurwetenschappen worden diverse toepassingen van GenAI in het hoger onderwijs getest en geëvalueerd.

Lees meer >