Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
-
/d) in Energy Informatics. You are passionate about applying cutting-edge information technology to solve the energy and climate crisis and would like to work in a vibrant and international research
-
, machine learning algorithms, and prototypical energy management systems (EMS) controlling complex energy systems like buildings, electricity distribution grids and thermal energy systems for a sustainable
-
methods, machine learning algorithms, and prototypical systems controlling complex energy systems like buildings, electricity distribution grids and thermal systems for a sustainable future. These systems
-
Computational Molecular Medicine, led by Prof Julien Gagneur, develops computational approaches to study the genetic basis of gene regulation and its implication in diseases. Applications of our work range from
-
21.12.2021, Wissenschaftliches Personal The Department of Computer Science, Technical University of Munich, has a vacancy for a PhD candidate/researcher position in the area of efficient algorithms
-
and distributed systems. Applicants need to have a strong background and interest in algorithms and/or combinatorics. You ideally should have an MSc degree in Computer science with a focus on algorithms
-
31.07.2023, Wissenschaftliches Personal Within the Joint Academy for Doctoral Studies (JADS) program of Technical University of Munich and Imperial College London, the Professorship of Energy
-
05.04.2023, Wissenschaftliches Personal We are the Autonomous Vehicles Systems (AVS) Lab and are interested in the algorithmic foundations of path and behaviour planning, control and automated
-
05.04.2023, Wissenschaftliches Personal We are the Autonomous Vehicles Systems (AVS) Lab and are interested in the algorithmic foundations of path and behaviour planning, control and automated