3 processor "University of Amsterdam" PhD positions in Netherlands

PhD Position in the Semantics of Homotopy Type Theory

University of Amsterdam (UvA) | Netherlands | 9 days ago

3 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Mathematics » Algorithms Mathematics

PhD Position in the Semantics of Homotopy Type Theory

University of Amsterdam (UvA); Amsterdam | Netherlands | 10 days ago

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is inviting applications for a fully funded PhD position in the NWO project "Simplicial type theory" lead by

PhD position in Reliable AI-Powered Tabular Data Analysis

CWI | Netherlands | 3 months ago

Centrum Wiskunde & Informatica (CWI) has a vacancy for a 4-year PhD position (m/f/x) on the subject of Reliable AI-powered Data Analysis in collaboration with the University of Amsterdam. Interested