PostDoc position on “Formal Synthesis of Complex Systems” (München, Germany)
The Hybrid Control Systems group in the Department of Electrical and Computer Engineering at Technical University of Munich announces an opening for a postdoctoral position on the topic of “Formal Synthesis of Complex Systems”. In particular, the main aim of this position is to propose novel methodologies for formal synthesis of large-scale dynamical systems.
The successful candidate must have, or expect to have, a PhD degree in a related topic such as Systems and Control, Applied Mathematics, or Computer Science and should have a strong theoretical background. A prior experience in the areas of formal methods and hybrid systems is highly recommended. Programming skills are also desirable. The duration of the position is flexible depending on the candidate’s performance. A competitive salary will be offered according to TV-L E13 (starting gross: €50k p.a.). In the exceptional cases, the candidate can be offered the civil servant status with a salary scale A13 (starting gross: €52k p.a.).
Please send your detailed CV including a list of publications and references by email to Majid Zamani (email@example.com
Hybrid Control Systems Group
Department of Electrical Engineering
Technical University of Munich
D-80290 Munich, Germany