Sort by
Refine Your Search
-
Listed
-
Employer
- University of Groningen
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM)
- Maastricht University (UM); yesterday published
- Radboud University
- Radboud University Medical Center (Radboudumc)
- Tilburg University
- Tilburg University; Tilburg
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Wageningen University & Research
- Wetsus - European centre of excellence for sustainable water technology
- 8 more »
- « less
-
Field
-
. 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
-
fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance. The verification of distributed systems, however, is notoriously difficult. This PhD
-
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
-
application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed
-
space explosion involved in complex systems. The aim of this PhD project is to develop distributed supervisory controller synthesis techniques that are scalable to practical systems. Current decomposition
-
The Department of Earth Sciences is looking for a highly motivated PhD candidate with an MSc background in Earth Sciences, Inorganic Chemistry, Material Sciences or other appropriate fields. You
-
Are you interested in exploring how firms can collectively contribute to decentralized, sustainable energy systems? Are you curious about how digital platforms connect businesses with distributed
-
language models, deep learning, and information retrieval? The Information Retrieval Lab (IRLab) at the University of Amsterdam is looking for PhD candidates to join our research team and contribute
-
. Within the above context, the MERLN Institute for Technology-Inspired Regenerative Medicine, part of the Faculty of Health, Medicine and Life Sciences at Maastricht University, is recruiting a PhD
-
, Medicine and Life Sciences at Maastricht University, is recruiting a PhD candidate. The position is embedded in the Materials-Driven Regeneration (MDR) program and focuses on microengineering the next