2 distributed-systems-phd PhD positions at University of Groningen in Netherlands

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

. The verification of distributed systems, however, is notoriously difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | about 2 months 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