2 verification-computer-science PhD positions at University of Groningen

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 5 hours ago

Intelligence with the topic of formal verification of distributed systems. The candidate would become a member of the Fundamental Computing Group of the Computer Science Department and would work under the

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 19 hours ago

and Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems