Sort by
Refine Your Search
-
Listed
-
Employer
- Maastricht University (UM)
- University of Groningen
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM); yesterday published
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- 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
- University of Twente
- Utrecht University
- Utrecht University; Utrecht
- Wageningen University & Research
- Wetsus - European centre of excellence for sustainable water technology
- 11 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
-
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
-
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
-
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
-
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
-
methods, is a game-changer for the chemical industries, enabling a dual focus on reducing greenhouse gas emissions and creating economically valuable outputs. This PhD position is part of PRIME LEAP, a