-
. 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
-
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
-
and subsequently distribute within them, typically using microscopy-based techniques. The position is part of the national NanoMedNL consortium and the candidate will interact with other PhD candidates
-
The Faculty of Spatial Sciences is seeking a PhD researcher on new urban–rural connections, with a focus on spatial-economic relations between city and countryside and on the significance
-
Organisation Job description A fully funded PhD position in the broad field of systems and control is available at the University of Groningen, the Netherlands. The specific subject of the project