Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
candidate will develop and test novel user interfaces that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning algorithms. This work will be evaluated through
-
Communication models within timing constraints in quantum applications Algorithms and protocols for joint transfer of digital data and entanglement Networked quantum sensing supported by distributed classical
-
include supervision of projects, teaching courses at bachelor's and master’s level, and examination as well as possible supervision of PhD students. Furthermore, you should contribute to the development
-
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
-
appointment from January 1st, 2026, or soon hereafter. The Department of Architecture, Design, and Media Technology has as its goal the development of an innovative cluster of engineering-based environments