-
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...
-
) Teaming up Aquatic, Ground, and Aerial Robotic Systems for Data-Driven Environmental Surveying You want to develop robotic systems that not just work in the lab but are also released to the wild? You are
-
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
-
environments in robotics. It is committed to excellence in research and teaching, interdisciplinary education, and the active promotion of promising young scientists. TUM benefits from the healthy mix of
-
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