Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Groningen
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Maastricht University (UM)
- Tilburg University
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); 10 Oct ’25 published
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- Hanze University of Applied Sciences
- Maastricht University (UM); 18 Oct ’25 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); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
- Vrije Universiteit Amsterdam (VU); today published
- Wageningen University & Research
- Wageningen University and Research Center
- Wetsus - European centre of excellence for sustainable water technology
- 20 more »
- « less
-
Field
-
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
-
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
-
resources, manage distributed intelligence, and measure network performance at planetary scale. Join the SPEAR (Systems and Protocols for Edge-Enabled Internet) lab, associated with the Networked Systems
-
. 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
-
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
-
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
-
. You also have: A PhD degree and postdoctoral experience in electrical power grids, applied mathematics, distributed systems or a comparable field. Strong mathematical modelling skills, experience in
-
networking infrastructure of SURF; and several local departmental labs for GreenIT, Internet-of-Things, and robotics. Our educational environment is characterized by a variety of international Bachelor and
-
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