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 >
Databricks neemt open-source database startup Neon over voor $1 miljard

14 mei 2025

Databricks neemt open-source database startup Neon over voor $1 miljard >

Het Amerikaanse softwarebedrijf Databricks, met sterke banden met Amsterdam en het Centrum Wiskunde & Informatica (CWI), heeft aangekondigd dat het de open-source database startup Neon overneemt voor $1 miljard.

Lees meer >

Amsterdamse Volta Ventures lanceert nieuw fonds van €20 miljoen voor tech-startups

14 mei 2025

Amsterdamse Volta Ventures lanceert nieuw fonds van €20 miljoen voor tech-startups >

Volta Ventures, an Amsterdam-based venture capital firm focused on tech startups in the Benelux, has announced a new €20 million fund. This third fund from Volta Ventures targets early-stage investments in technology companies with strong growth potential. The fund provides capital and strategic support to young companies working on innovative technologies, ranging from software development to artificial intelligence and deep tech.   The Volta Ventures team emphasizes that the new fund offers more than just capital—it provides strategic guidance and access to networks. "We want to help entrepreneurs realize their vision by providing them with the right resources and connections," the team stated.   As an established player in the Benelux region, Volta Ventures has built a portfolio of successful technology companies. With the new fund, the firm aims to meet the growing demand for funding from promising startups in the Netherlands, Belgium, and Luxembourg.   Read more about Volta Ventures' new fund on the Silicon Canals website .

Lees meer >

Roboat: autonome boten testen in de grachten van Amsterdam

14 mei 2025

Roboat: autonome boten testen in de grachten van Amsterdam >

Roboat is een innovatief project dat autonome boten test in de grachten van Amsterdam. Deze zelfvarende vaartuigen bieden oplossingen voor stedelijke logistiek, vervoer en afvalinzameling.

Lees meer >