Phd Position for Model Predictive Control with

vor 3 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 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 culture.**

**Expected Starting Date**: 01 May 2023-01 October 2023

**Closing Date for Applicants**:15 April 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, model predictive control 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, the model predictive control problem can be reformulated as 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 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 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...

  • 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 Technische Universität München Vollzeit

    **Tutors for the Advanced Control and Robotics Lab (ACRL) wanted** Hello everyone, We are looking for motivated students to assist in this semesters edition of the Advanced Control and Robotics Lab (ACRL). Here are the details: - The lab is scheduled from 24.04. to 17.07., every Wednesday from 1:15 p.m. to 5:00 p.m. It will be held in English. - There is...


  • 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 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 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 (


  • Munich, Deutschland RobCo GmbH Vollzeit

    Deine AufgabenThe thesis is offered in cooperation with the chair of Robotics, Artificial Intelligence and Real Time Systems, professorship for Cyber Physical Systems of Prof. Dr.-Ing. Matthias Althoff.You'll be developing, implementing and verifying a robot controller for modular industrial robots. You will analyze several relevant control strategies and...


  • 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 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...


  • Munich, Deutschland State Street Vollzeit

    Who we are looking for State Street’s Global Model Risk Management (MRM) is seeking a Senior Validation Leader who will lead a Model Validation Team at State Street International Bank (SSBI) to provide the model validation and risk management oversight for SSBI and support the management and operation of the Model Validation Group globally. The Senior...


  • 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...


  • Munich, Deutschland Boeing Vollzeit

    Description Qualifications: Boeing Research & Technology is seeking to hire a Associate, Experienced and Senior Model-Based Systems Engineering - Systems Engineer with a strong background in Model-based Systems Engineering, reporting to the Manager of Model-based Design for X from any of our offices in Madrid, Spain OR Munich, Germany. In this...


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

    **Our profile and the research project Our team is committed to basic and applied translational research in neglected tropical diseases (NTD) and Global Health. One of the pillars is to improve our understanding of the immunopathogenesis of Th2-driven diseases such as helminth infections and allergies, specifically the mechanisms underlying tissue...

  • PhD student

    vor 2 Wochen


    Munich, Deutschland LMU Klinikum Vollzeit

    Scope of duties PhD POSITION (ERC-funded) IN CELL & MECHANOBIOLOGY OF PLATELETS & MEGAKARYOCYTES SHARE OUR PASSION Did you know that our bone marrow yields colossal cells that actively fragment into pieces? These fragments tirelessly patrol our blood vessels, serving as a vital defense against bleeding. Our mission is to unravel the fundamental...


  • Munich, Deutschland MTU Aero Engines AG Vollzeit

    #UPLIFT**Y**OURFUTURE Over 11,000 People. 18 Locations worldwide. One in three planes files with our Technology. Even more economical, lower in emissions and quieter. We shape the future of Aviation. The only thing missing**:You.** Our team in **Munich** is searching for you: Thesis: Material Models for Predicting Life-times of Cast Superalloys via a...