Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
structural design, 3D printing robots, sensors, safe and efficient human machine interfaces, processing units, and software components into a cyber physical construction system. The result would be
-
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
-
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
-
(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
-
, optoelectronics, and sensors. Likewise, the entangled nature of the photonic, electronic, and magnetic properties of the hypothesized materials may provide for entirely novel multifunctional materials, opening new
-
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
-
, quantum photonics, optical sensors, LEDs, photovoltaics, ultra-high speed optical transmission systems, bio-photonics, acoustics, power electronics, robotics, and autonomous systems. Technology for people