Sort by
Refine Your Search
-
Listed
-
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
-
previously conducted research or have demonstrated knowledge within some of the following areas: classical and/or quantum data communication, error correction, communication algorithms, optimization algorithms
-
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
-
, generative design, building performance optimization, digital design methods (e.g., predictive modeling, multi-agent systems and algorithmic techniques for architectural design), digital design epistemologies