Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- 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
- 2 more »
- « less
-
Field
-
. -) 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
-
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
-
increasing environmental awareness. However, most existing hearing aid algorithms optimize for only one of these objectives at a time, often at the expense of the others. To enhance hearing aid performance
-
our society leads to massive changes in the energy sector. The future electricity system must be flexible, inclusive, digital, distributed, agile, and renewable, while the levels of reliability, safety
-
Job description Decarbonizing our society leads to massive changes in the energy sector. The future electricity system must be flexible, inclusive, digital, distributed, agile, and renewable, while
-
) 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
-
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
-
applications in the media change journalism, the public sphere, civic engagement and economic competition. We will develop and test new AI-applications to help solve problems such as disinformation, algorithmic
-
AI-applications to help solve problems such as disinformation, algorithmic bias and filter bubbles. Together with our partners we will also (co)-create new ethical and legal frameworks for responsible
-
the power of cutting-edge digital technologies to implement and manage FAIR (Findability, Accessibility, Interoperability and Reusability) environments for data management and algorithm preservation and