-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
, which might include analysis and comparisons with the dynamics in tropical countries (VBD-mode, funded by BMFTR; https://clinicalepi.de/projects/vbd-mode.html) Collaborating closely with national and
-
power systems in the CoSES lab at the Technical University of Munich. Previous Work https://mediatum.ub.tum.de/doc/1731060/g5zgxaj96lcyhh8gh6le1xbuu.Wetzlinger-2023-TAC.pdf https://mediatum.ub.tum.de/doc
-
positions are flexible in terms of research direction within 3D vision and graphics with a heavy focus on cutting-edge deep learning-based techniques. We are particularly interested in static and dynamic 3D
-
solutions. [1] https://automata-tutor.model.in.tum.de/ [2] https://link.springer.com/chapter/10.1007%2F978-3-030-53291-8_1 Requirements: We are looking for highly motivated candidates who will fit our
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair of Information-Oriented
-
investigate methods that eventually will automate crucial design steps. In addition, we are developing simulators (on various abstraction levels; using, e.g., Computational Fluid Dynamics) which enables us to