Sort by
Refine Your Search
-
conditions. This task will include the extension of recent work on model-order reduction applied to quantum circuits. The extension will cover quantum programs with loops and various noise effects. Task 3
-
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
-
optimal dispatch of coupled electricity–cooling systems. This includes: Modelling, analysis, and optimization of flexible cooling assets and integrated building-level electricity–cooling devices, so that
-
candidate will lead tasks related to experimental testing and numerical modelling to verify structural performance under representative environmental conditions and establish a design envelope for
-
in modeling and analysis of cyber-physical systems At the Technical Faculty of IT and Design, Department of Computer Science, a full-time postdoc position in modeling and analysis of cyber-physical