Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
predictive modelling Development of model predictive control algorithms for energy-efficient and flexible building Contribution to prescriptive maintenance strategies and user-centric digital 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 simulations and with physical drones in mock search-and
-
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
-
Compute. Our mission encompasses the creation of insights that allow the development of context-aware, distributed, and embedded cyber-physical systems, with a particular focus on Internet-of-Things (IoT
-
21 Aug 2025 Job Information Organisation/Company University of Southern Denmark Department The research group in Algorithmic Cheminformatics at the Department of Mathematics and Computer
-
construction machinery to improve efficiency, adaptability, and safety under varying operating conditions. The work will involve designing and prototyping intelligent control algorithms, developing runtime
-
A two-year postdoc position is available in the research group of Algorithmic Cheminformatics at the University of Southern Denmark (SDU). The position is in an exciting 6-year project supported by
-
equal gender distribution. We are located in Lyngby, Hirtshals, Nykøbing Mors, and Silkeborg and have regular activities in Greenland. Learn more on aqua.dtu.dk Technology for people DTU develops
-
(e.g., based on physiological signals or direct inputs from occupants) and developing algorithms, including machine learning methods. The work will include statistical modelling, data-driven modelling