Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM)
- University of Amsterdam (UvA); yesterday published
- University of Groningen
- University of Twente
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Radboud University
- Tilburg University
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- Erasmus University Rotterdam (EUR); 27 Sep ’25 published
- Hanze University of Applied Sciences
- Maastricht University (UM); 18 Oct ’25 published
- Maastricht University (UM); yesterday published
- Radboud University Medical Center (Radboudumc)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Tilburg University; Tilburg
- University of Amsterdam (UvA); 26 Sep ’25 published
- University of Amsterdam (UvA); today published
- University of Groningen; 26 Sep ’25 published
- University of Twente (UT); Enschede
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU); today published
- Wageningen University and Research Center
- Wetsus - European centre of excellence for sustainable water technology
- 27 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
-
programming skills, good knowledge on modeling cyber-physical systems, and preferably experience with DSL development. PhD 3: Timing-aware distributed supervisory controller synthesis (supervision by: Michel
-
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
-
PhD student to establish recipes to provide post-plasma catalysis with different C2Hy distributions and different enthalpy content for optimization of post-plasma catalysis into C2H4. PhD candidate in
-
Internet is undergoing a fundamental transformation from cloud architectures to a distributed continuum spanning edge, cloud, and space. This shift demands revolutionary approaches to how we orchestrate
-
health care systems. In the Netherlands, waiting times remain long, and access to appropriate care is not equally distributed - with vulnerable groups often facing worse access. Although various reforms
-
flexible and adaptable ways is rapidly increasing across industries and society. These robots are needed to perform heavy, non-ergonomic tasks in unstructured environments or to assist humans in physically
-
Vacancies PhD position on Sustainable Mobile Networks Key takeaways Mobile networks, as a key component of digital connectivity and computing infrastructures, play a crucial role in modern life