Sort by
Refine Your Search
-
Listed
-
Employer
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM)
- University of Groningen
- Eindhoven University of Technology (TU/e); Published yesterday
- University of Twente
- 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
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published today
- Maastricht University (UM); 18 Oct ’25 published
- 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 University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Vrije Universiteit Amsterdam (VU); Published today
- Wageningen University & Research
- Wetsus - European centre of excellence for sustainable water technology
- 18 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
-
, market participation strategies and risk management, large-scale, distributed, multi-objective optimization techniques applied to energy markets and power systems and AI for optimization and control in
-
-scale, distributed, multi-objective optimization techniques applied to energy markets and power systems and AI for optimization and control in power and energy systems. The EES group has strong ties with
-
. This PhD is part of a NWO project called “Flexibility in Electric Power from Steam-heated Industrial Processes” (FLEXPower). There are several partners involved in this project including a large distribution
-
. This PhD is part of a NWO project called “Flexibility in Electric Power from Steam-heated Industrial Processes” (FLEXPower). There are several partners involved in this project including a large distribution
-
synthesis and assembly of concrete PCMs. RecyWax+ offers a PhD position for molecular-dynamics simulations of novel PCM systems for thermal storage. Recywax+ is supported within the Dutch Research Council NWO
-
to teaching and community outreach, and be involved in an industrial/academic consortium (the FNS 6G project). The ultimate goal is for the successful candidate to produce a dissertation leading to a PhD degree
-
Applications. The candidate will be embedded in the Massivizing Computer Systems (MCS) group, which focuses on research in distributed computing systems and ecosystems, and currently spans over 40 diverse people