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
- Utrecht University
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); Published yesterday
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published yesterday
- 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
- 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
- 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
-
funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description This PhD project investigates predator avoidance and the distributed brain circuits
-
-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
-
/ethics experts, and industry partners; co-supervise master’s students where appropriate; and publish your results at leading venues in security, distributed systems, and responsible/regulated AI Job