Sort by
Refine Your Search
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and
-
interface, and all the way to quantum algorithms and applications. The long-term mission of the programme is to develop fault-tolerant quantum computing hardware and quantum algorithms that solve life
-
better and faster decisions when assessing funding applications, ensuring the efficient and unbiased elimination of poor applications? This question can be addressed through training algorithms on past
-
an optimal molecular representation (including data procurement) and integrating generative model and binding oracles. Propose an algorithm to bias the generative models towards desirable properties, such as
-
of solvers for stochastic optimization problems, and test the methods on real-life data. As part of the PhD you will be following advanced courses to extend your skills, implement and test algorithms, and
-
(entities) given the rules and the rules given the molecules. The aim of this project is to develop a theory and accompanying algorithms to decide if an abstract system can be instantiated by a concrete
-
electricity price signals, demand-response mechanisms, and time-of-use optimization. AI-Driven Optimization using Reinforcement Learning: Apply RL algorithms to develop and train agents that optimize power
-
on developing machine learning algorithms to support the use of complex urban simulators in decision-making under uncertainty. This PhD project shifts the focus from optimality to relevance in urban land-use and
-
involves the use of quantum chemistry, machine learning, and genetic algorithms to search for new homogeneous chemical catalysts. Who are we looking for? We are looking for candidates within the field