-
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...
-
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
-
for a period of two years and can be renewed for another two years. The successful candidate should have a Master's degree in computer science or mathematics. Since the position involves teaching
-
TranslaTUM and the Helmholtz Pioneer Campus, which integrate bioengineering with oncology and metabolic disorders, respectively. CBI scientists develop next-generation imaging and sensing methods to measure
-
orchestrate local immune responses and contribute to antiviral defence in the liver. Our aim is to develop novel strategies for therapies against hepatitis viruses. To achieve this, we study the relevance
-
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
-
collaboration, we aim to promote biodiversity-based health interventions. The research is funded by the Research Initiative for the Conservation of Biodiversity (FEdA), the Federal Ministry of Education and
-
, • with software and programming skills, • who enjoy research and teaching. Application We look forward to receiving your application with relevant documents (cover letter, resume, academic transcripts
-
limited to machine learning, deep learning, reinforcement learning, and evolutionary algorithms. • Develop a comprehensive understanding of spacecraft dynamics, control systems, and mission requirements
-
technologies. Your activities will include participation in other research activities of the Chair and in the supervision of teaching. Your qualifications: • Master’s degree in aerospace engineering, Mechanical