Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- University of Groningen
- Wageningen University & Research
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); yesterday published
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); today published
- University of Groningen; 26 Sep ’25 published
- 4 more »
- « less
-
Field
-
classical computing algorithms are NP-hard or, in general, difficult to implement. Within your application, please provide a research proposal (no more than five pages) answering the following questions: What
-
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
-
for a PhD/Postdoc position within the Control Systems Technology section at the Department of Mechanical Engineering. This project focuses on developing model predictive control (MPC) algorithms
-
Engineering. This project focuses on developing model predictive control (MPC) algorithms for residential energy management systems and energy hubs, with particular emphasis on distributed optimization, cyber
-
wide range of resources and is mostly not publicly available. While sharing proprietary data to train machine learning models is not an option, training models on multiple distributed data sources
-
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
-
Location ESRIN, Frascati, Italy Description Data Quality and Cal/Val Manager for Atmospheric Sensor Missions in the Sensor Performance, Products and Algorithms Section, Earth Observation Mission
-
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