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
- Maastricht University (UM)
- University of Groningen
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Radboud University
- Tilburg University
- University of Amsterdam (UvA); 10 Oct ’25 published
- University of Amsterdam (UvA); yesterday published
- University of Twente
- 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
-
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
-
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
-
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
-
reducing greenhouse gas emissions and creating economically valuable outputs. This PhD position is part of PRIME LEAP, a Horizon Europe Marie Skłodowska-Curie Actions Doctoral Network (MSCA-DN) on the next
-
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