TU Munich
All talks, research and supervision happens in an English-speaking environment.
Networks, computers, sensors, and actuators are increasingly integrated into cyber-physical systems; software systems that interact with the physical world and must cope with its continuous behaviour. An increasing number of cyber-physical systems operate in safety-critical domains. Examples are autonomous vehicles, robotic surgery, traffic control, human-robot collaboration, and smart grids. For this reason, their design and deployment should be accompanied by a formal check of correct behaviour.
The Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY) conducts research in three areas:
Robust System Design: We develop techniques to guarantee correct behaviour under changes in plant parameters, under certain classes of perturbations including sensor measurement errors, and under uncertainties introduced by the implementation platform. In particular, we investigate the design of controllers that are robust by construction against those changes.
Evolving Systems: We investigate novel construction and verification techniques that adapt to offline changes in the specification, the hardware, or the implementation of control software, and reuse efforts from earlier stages as much as possible.
On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers that operate — and provide a correctness guarantee — only within a given time horizon. Repeated execution of this procedure, combined with availability of a fail-safe strategy, ensures safe operation.
Applicants should have very good skills in the English language and a strong background in at least one of the fields relevant for research at ConVeY: Control theory, formal methods in computer science, or machine learning. Experience is ideally shown through a thesis, seminar papers, or scientific publications. Alternatively, excellent grades in a respective Master’s course.
Additional Support is offered by the GraduateCenter.
ConVeY is a research training group that funds PhD students with a full position for three years, with a potential extension. Depending on the research topic and the student’s background, students may have to attend compensating course work.
ConVeY is a joint research training group between TU Munich and LMU Munich. We offer a strong academic environment and a comprehensive qualification programme to our PhD students.
ConVeY provides PhD students the possibility to perform research internships at other institutions.
Basic fee 85 EUR + additional fee for the "Deutschlandticket"
Living costs (including accommodation and health insurance) in Munich range from 1,000 to 1,200 EUR per month.
ConVeY funds PhD students with a full position for three years, with a potential extension.
LMU Travel Grant, LMU Completion Grant
To apply for ConVeY, you should fulfil the following requirements:
Very good skills in the English language (speech and written form) are required.
In case of interest, please contact us with your CV and a short description of your previous research experience at applications-convey@ifi.lmu.de.
The International Office helps visiting academics, PhD students, and postdocs who are travelling to Munich for a set period of time to find accommodation.
For further information, please visit the following link:
https://www.lmu.de/en/study/important-contacts/international-office/index.html.
Rooms in shared flats are popular on the private market and reasonably priced at 400-600 EUR per month if located in central parts of Munich.
ConVeY provides an international environment shared between LMU Munich and TU Munich.
Every new PhD student is assigned a senior PhD student as her/his buddy, to help with onboarding, initial questions, and group events. Weekly meetings and talks lead to a strong collaboration between the members of the research group.
In addition, every PhD student is assigned a thesis advisory board that consists of two senior researchers.
To activate the map, click on the "Show map" button. We would like to point out that data will be transmitted to OpenStreetMap after activation. You can find out more in our privacy policy. You can revoke your consent to the transmission of data at any time.
