Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Groningen
- Delft University of Technology (TU Delft); Delft
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Tilburg University
- University of Twente (UT)
- Utrecht University
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- Erasmus University Rotterdam (EUR); 27 Sep ’25 published
- Hanze University of Applied Sciences
- Maastricht University (UM)
- Maastricht University (UM); yesterday published
- Radboud University
- 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
- 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
- 24 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
-
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
-
Do you have a PhD on the topic of Bayes factor hypothesis testing? The Psychological Methods Unit at the University of Amsterdam offers a five-year postdoctoral position on the ERC Advanced project
-
We invite highly motivated students with a strong background in systems and control to apply for a PhD/Postdoc position within the Control Systems Technology section at the Department of Mechanical
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Do you have a PhD on the topic of Bayes factor hypothesis testing? The Psychological Methods Unit at the
-
and interacting with students. We encourage applications from highly motivated scientists working in power systems, applied mathematics or distributed systems. You also have: A PhD degree and
-
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