Sort by
Refine Your Search
-
Listed
-
Employer
- University of Groningen
- Eindhoven University of Technology (TU/e); yesterday published
- Utrecht University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e)
- 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); 10 Oct ’25 published
- 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
- 9 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
-
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
-
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
-
evaluation it will be extended for a total duration of 4 years). The preferred starting date is January 2026. This should lead to a dissertation (PhD thesis). We will draft an educational plan that includes
-
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