4 formal-method-phd PhD positions in Netherlands

PhD position Relation between Law and Behavioral Change (4,5 years)

Erasmus University Rotterdam | Netherlands | about 7 hours ago

Published Monday 11 Aug 2025 Deadline Monday 22 Sep 2025 Work area PhD Organisational unit Erasmus School of Law (ESL) Salary € 3.059 - € 3.881 Employment 1 fte - 1 fte Introduction Are you curious

PhD in Developing an EEG-based neural model of human working memory (1.0 FTE)

University of Groningen | Netherlands | 2 days ago

Akyürek (Experimental Psychology). The successful candidate should have: a keen interest in the human brain, cognition, and formal methods to investigate these. a master’s degree or equivalent in cognitive

PhD position on Liveness from causality analysis

University of Twente | Netherlands | 3 months ago

five Dutch universities: the University of Twente, the University of Groningen, Leiden University, Radboud University, and Delft University. The Formal Methods and Tools (FMT) group at the University

PhD Candidate in AI for Network Analysis

Leiden University | Netherlands | about 2 hours ago

Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD Candidate in AI for Network Analysis (1.0 FTE, 4 years) About this position