-
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...
-
, insanely breakthrough innovation and testing as a service. The Chair has also introduced innovative lecturing methods bringing teaching and research closer together to the benefit of students and researchers
-
dynamic organization whose goal is to achieve excellence in research, teaching and impact. The Innovation & Entrepreneurship department is amongst the leading of its kind in Europe, with over 50 academics
-
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
-
on the design and evaluation of innovative data- and machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization
-
, thermodynamics, energy, and heat transfer · Teaching experience is necessary, either as - a teaching assistant in Germany and on an international level (preferred) - or with proven experience of supervision
-
theory and machine learning to pursue innovative applications towards future technologies. We are a multi-cultural and cross-disciplinary team, with complementary subgroups and talents. You will train in
-
of the world’s top universities. 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
-
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
-
and teaching is on the principles of technical thermodynamics, combustion technology, and reactive flows. Applicant’s project To combat the harmful effects of polycyclic aromatic hydrocarbons (PAHs) and