Sort by
Refine Your Search
-
Listed
-
Employer
- University of Groningen
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); yesterday published
- University of Groningen; 26 Sep ’25 published
- Wageningen University & Research
-
Field
-
focus often neglects other dimensions of processes, such as the time between activities and the time required for specific steps, the spatial distribution of tasks across locations, or the intricate
-
) to specify use cases from the perspective of the relevant domains as well as model transformation, analysis, and synthesis algorithms that provide functionally correct system configurations with a guaranteed
-
theory. o SAT, SMT, and CHC solving. o Temporal logic and TLA+. o Distributed algorithms, blockchains, and smart contracts. o Quantum information theory and Markov decision processes. Additional
-
. -) SAT, SMT, and CHC solving. -) Temporal logic and TLA+. -) Distributed algorithms, blockchains, and smart contracts. -) Quantum information theory and Markov decision processes. Conditions of employment
-
, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems, providing them with essential improvements to aspects such as performance and
-
Hunger Lab at Tilburg University, and four industry partners. In this project, you will develop and advance optimization models and algorithms to support decision-making in food supply chains, with
-
advantages for manipulation and locomotion, but current control algorithms do not fully exploit their capabilities. Most rely on approximations tailored for rigid systems or require extensive sensing and
-
operate safely around humans. They offer unique advantages for manipulation and locomotion, but current control algorithms do not fully exploit their capabilities. Most rely on approximations tailored