2 computer-algorithm PhD scholarships at University of Groningen in Netherlands

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

27 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Computer science » Programming Researcher Profile First Stage Researcher (R1) Country Netherlands Application

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 2 months ago

check desired properties, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems, providing them with essential improvements to aspects