Phd Position for Scalable Controller Synthesis with

vor 2 Wochen


Munich, Deutschland Technische Universität München Vollzeit

**The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of scalable controller synthesis with formal guarantees. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture.**

**Expected Starting Date**: 01 February 2023-01 June 2023

**Closing Date for Applicants**: 31 January 2023

**Duration**: 3 years with a possible extension

**Project and Job Description**
Cyber-physical systems are complex systems that combine physical capabilities with computational capabilities. These include medical devices and systems, process controls, autonomous vehicles, avionic systems, energy systems, robots, manufacturing systems, and smart structures. The increasingly complex requirements of cyber-physical systems makes it very difficult to control them or even prove that their specification is met. For this reason, automatic controller synthesis with formal guarantees is an active area of research. However, there exist no scalable and formally correct synthesis methods for arbitrary nonlinear systems whose algorithmic parameters are automatically tuned.
To address this problem, we propose a synthesis approach that does not rely on any discretization and instead uses optimization techniques in combination with reachability analysis. We plan to translate temporal logic specifications into hybrid automata and compute the product automaton with the system to be controlled. This way, each synthesis problem can be reformulated as solving reach-avoid problems for constrained and disturbed hybrid systems. Through optimization, we will obtain an optimal nominal solution and ensure that all other solutions originating from uncertain initial states, disturbances, and sensor noise also meet all constraints.
Among other use cases, we will evaluate our approach on our autonomous vehicle EDGAR. All developed algorithms will be available through our software tools CORA (cora.in.tum.de) for reachability analysis and AROC (aroc.cps.in.tum.de) for formal controller synthesis.

**Previous Work**

**Job Specifications**
- Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines (typically mathematics, physics).
- Fluency in spoken and written English is required.
- Good programming skills in at least one programming language, e.g. MATLAB, C/C++, Python.
- Highly motivated and keen on working in an international and interdisciplinary team.
- Applicants with strong background in the following fields are preferred:

- Control theory
- Optimization
- Formal methods
- Robotics

**Context**

**Our Offer**

**Contact**

**Hinweis zum Datenschutz**:
Im Rahmen Ihrer Bewerbung um eine Stelle an der Technischen Universität München (TUM) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise der TUM zur Kenntnis genommen haben.



  • Munich, Deutschland Technische Universität München Vollzeit

    **The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of learning-based model predictive control with formal guarantees. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international...


  • Munich, Deutschland Technische Universität München Vollzeit

    **The Engineering Risk Analysis Group at TUM is looking for a PhD student in the area of Model reduction for structural reliability analysis** About us: Your profile: - M.Sc. degree in Applied Mathematics or Civil, Mechanical, Aerospace, or Electrical engineering, or another relevant field. - Excellent grades in courses on numerical methods for partial...


  • Munich, Deutschland Technische Universität München Vollzeit

    The Machine Learning and Information Processing group at TUM works at the intersection of machine learning and signal/information processing with a current focus on deep networks for solving inverse problems, learning robust models from few and noisy samples, and DNA data storage. We are seeking a researcher to join our team in a DFG funded project on deep...


  • Munich, Deutschland Technical University of Munich Vollzeit

    PhD positions on Foundation Models and Deep Learning for Imaging Problems 19.04., Wissenschaftliches Personal The Professorship of Machine Learning at the Department of Computer Engineering at TUM has open positions for a doctoral researcher (TV-L E13 %, 3-4 years) on Foundation Models and/or Deep Learning for Imaging Problems. The...


  • Munich, Deutschland Helmholtz Zentrum München Vollzeit

    : Discover personalized medical solutions for environmentally triggered diseases to promote a healthier society in a rapidly changing world. Are you interested in Epigenetics and in crossing borders? Come and join us for our fully funded collaborative 3-year PhD programme “EpiCrossBorders”, the International Helmholtz Munich -Edinburgh Research School...


  • Munich, Deutschland Technical University of Munich Vollzeit

    Software engineering PhD position in the area Software&Systems Engineering – Fuzzing for Software Security (TV-L E13, %) 24.01., Wissenschaftliches Personal The chair of software and systems engineering (SSE) has an open position (starting as soon as possible) for a PhD student with skills in the areas of “Fuzzing for software security.”...


  • Munich, Deutschland Technical University of Munich Vollzeit

    Software engineering PhD position in the area Software&Systems Engineering - Generative AI for Code Migration (TV-L E13, %) 24.01., Wissenschaftliches Personal The chair of software and systems engineering (SSE) has an open position (starting as soon as possible) for a PhD student with skills in the area of Using generative AI for code...


  • Munich, Deutschland Technical University of Munich Vollzeit

    PhD Student position in immunology 31.12., Wissenschaftliches Personal A PhD student position is offered as part of the CRC "Control and plasticity of cell-fate decisions in the immune system ( in the Department of Infection Immunology headed by Prof. Christina Zielinski at the Leibniz-HKI. The department of Infection Immunology addresses...


  • Munich, Deutschland Technical University of Munich Vollzeit

    PhD position: Physics-based and AI-Driven Spectral Imaging for Brain Surgery 02.05., Wissenschaftliches Personal A PhD position within an EIC Pathfinder Project (HyperProbe) focusing on the development of spectral unmixing approaches for identifying biomarkers of brain activity. The lab for Artificial Intelligence in Medicine (

  • Phd Candidates

    vor 4 Wochen


    Munich, Deutschland Technische Universität München Vollzeit

    The Chair of Design and Transdisciplinarity is part of the TUM School of Engineering and Design (ED) and centrally located in the heart of Munich. We teach and research an approach to design that strives to create outcomes that are not only desirable and functional, but have societal value and consider regenerative impact. This requires a sophisticated...

  • Organic Chemist

    vor 4 Wochen


    Munich, Deutschland Nuvisan GmbH Vollzeit

    **We are looking for a highly motivated organic chemist who would like to further develop in the organic synthesis of radio-labeled and stable-labeled small molecules and peptides. You will be involved in the radio (medicinal) chemistry of small molecules for our clients, molecules to be used in non-clinical and clinical DMPK studies.** **YOUR...


  • Munich, Deutschland Technische Universität München Vollzeit

    Description: DNA methylation is an important epigenetic modification with fundamental roles in gene regulation and transposable element silencing. In plants, aberrant DNA methylation changes (i.e. epimutations) can arise stochastically, similar to DNA sequence mutations. These epimutations are often transmitted across generations and accumulate in plant...

  • Phd Position

    vor 4 Wochen


    Munich, Deutschland Klinikum rechts der Isar der Technischen Universität München Vollzeit

    **Hospital rechts der Isar (MRI) of Munich Technical University (TUM)** **PhD Position (M/F/d) - Hematology/Oncology** **Part-time | temporary (24 month) | **Department of Interal Medicin III** For more information on group's research focus, check the lab homepage: **Your responsibilities**: - Work with a collaborative spirit within at Research Unit at...


  • Munich, Deutschland Helmholtz Zentrum München Vollzeit

    : Discover personalized medical solutions for environmentally triggered diseases to promote a healthier society in a rapidly changing world. The Deng lab at the Institute of Virology at Helmholtz Munich and the Technical University of Munich uses an integrative approach combining single-cell technologies, culture-independent techniques, multi-omics, and...

  • Phd Student

    vor 4 Wochen


    Munich, Deutschland Deutsches Zentrum für Neurodegenerative Erkrankungen Vollzeit

    **PhD student (f/m/x)**: **Code: 2096/2023/1**: The research group “Juvenile Neurodegeneration”, led by Dr. Sabina Tahirovic, is looking for a PhD student with a strong interest in neuroinflammation and neurodegeneration. **Your tasks**: **Requirements**: **We offer**: - An interesting and challenging research question in a comprehensive scientific...


  • Munich, Deutschland Technical University of Munich Vollzeit

    PostDoc and PhD for Chair of Efficient Algorithms at TUM Campus Heilbronn 29.02., Wissenschaftliches Personal Postdoc and PhD positions are available at the Chair for Efficient Algorithms headed by Prof. Stephen Kobourov at the Technical University of Munich (TUM) Campus Heilbronn. English is the language of the research group and the...


  • Munich, Deutschland Max-Planck-Institut für Quantenoptik Vollzeit

    We offer positions to PhD and Diploma/Master students with exceptional CV. They should be among the 5% top students in their university and have some extraordinary achievements (like, e.g., in physics/mathematics olympiads). For the Diploma/Master students we can only offer financial help if they have carried out their studies outside the Munich area. The...


  • Munich, Deutschland Technical University of Munich Vollzeit

    Software engineering PhD position in the area Software&Systems Engineering – CPS / Testing Autonomous Vehicles (TV-L E13, %) 24.01., Wissenschaftliches Personal The chair of software and systems engineering (SSE) has an open position (starting as soon as possible) for a PhD student with skills in the areas of Cyber-Physical Systems/Testing...

  • Gmp Radiochemist

    Vor 5 Tagen


    Munich, Deutschland Nuvisan GmbH Vollzeit

    **We are looking for a GMP radiochemist to join our team in Grafing near Munich. You will be involved in the GMP 14C-synthesis of small molecules for our clients.** **YOUR RESPONSIBILITIES** Responsible Person for maintenance of the quality management system for the GMP manufacturing and quality control of radiolabeled small molecule APIs Perform GMP...

  • Phd Position

    Vor 5 Tagen


    Munich, Deutschland Technische Universität München Vollzeit

    **Job description** This fully-funded PhD project (project P02 of the CRC1371) is based on work from the first funding period that identified the X-linked inhibitor of apoptosis protein (XIAP) as an important regulator of small-intestinal homeostasis. XIAP functions as an inhibitor of microbiota, TNF-, and RIPK3-dependent death of Paneth cells and myeloid...