-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in quantitative verification interested in co-developing Automata Tutor - main...
-
Technology and Smart Glasses 2. Cutting-edge technologies combining Generative AI 3. Human-Centered Generative AI 4. AI-based Educational Technologies Who We Are Looking For: We seek highly motivated and
-
innovative and sustainable solutions for key challenges of our time, such as the future of health. Currently, TUM sets up the first integrated education and research campus for healthcare robotics in Garmisch
-
09.06.2022, Wissenschaftliches Personal As part of an initiative by the community service foundation Dieter Schwarz Foundation (DSF), TUM created a teaching and research facility
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
of Information-Oriented Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and
-
, transforming the EU into a modern, resource-efficient, and competitive economy. Responsibilities and qualifications The focus of this PhD/Postdoc project is to develop a new Li-operated potentiometric
-
funded by the German Federal Ministry of Education and Research (BMBF). The position is funded for four years with a possible extension. The project will start on October 1, 2021. Topics of the positions
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical
-
of this include the creation of benchmark data sets for a wide range of application scenarios, as well as educational opportunities for interested scientists and expert workshops. Our aim is the democratization