1 PostDoc Position - ERC-Consolidator-Award-Projekt: PropRT
Technische Universität Dortmund / TU Dortmund University
With 6.500 employees in research, teaching and administration and its unique profile, TU Dortmund University shapes prospects for the
future: the cooperation between engineering and natural science as well as social and cultural studies promotes both technological
innovations and progress in knowledge and methodology, which not only the roughly 33.440 students benefit from.
1 PostDoc Position - ERC-Consolidator-Award-Projekt: PropRT (Ref.-Nr. w52-22)
Informatik 12, at the Department of Computer Science at TU Dortmund University, is responsible for the entire education and most of research for embedded systems and real-time systems. The Design Automation of Embedded Systems Group in Informatik 12 (Prof. Dr. Jian-Jia Chen) offers 1 PostDoc Position for the ERC Consolidator Award project PropRT. The duration of the position will be limited to three years. According to the public tariff regulations, the salary is based on the tariff group E13 TV-L.
PropRT will explore the possibilities to construct timing analysis for complex cyber-physical real-time systems from formal properties. The target properties should be modular so that safe and tight analysis as well as optimization can be performed (semi-)automatically.
New, mathematical, modulable, and fundamental properties for property-based (schedulability) timing analyses and scheduling optimizations are needed to capture the pivotal properties of cyber-physical real-time systems, and thus enable mathematical and algorithmic research on the topic. Different flexibility and tradeoff options to achieve real-time guarantees should be provided in a modularized manner to enable tradeoffs between execution efficiency and timing predictability.
The working language is English.
The applicants should hold a Dr. degree in the areas of Computer Science, Informatics, Mathematics, Electrical Engineering or Computer Engineering.
Ideally you bring this with you:
Beneficial is expertise in one or more of the following areas: “Embedded Systems“, “Real-Time Systems", and “Formal Models“. Logical and theoretical skills are compulsory to carry out the research in this project.
We explicitly note that applications of all sexes are welcome. Applications from women are favored complying with legal regulation.
We also underline that applications of severely disabled persons are welcome
Applications enclosing curriculum vitae, latest grades and degrees, a motivation letter, and contact details of two references should be sent until 07.07.2022 under reference number w52-22 to:
Prof. Dr. -Jian-Jia Chen
TU Dortmund, Fakultät für Informatik, LS XII
Bei Fragen wenden Sie sich bitte an: Jianfirstname.lastname@example.org