- Guide to positions
- Study in Germany
- PhD in Germany
- Postdoc in Germany
- Professor in Germany
- Industry guide
- Research & Development in Germany
- Engineering in Germany
- Service range
- Events
- Employers
- Graduate schools
- Guide overview
3 job vacancies
in the categories
Mathematics Electrical Engineering, Electronics Information Technology Computer Sciences Postdoc North Rhine-Westphalia University
in the categories
Mathematics Electrical Engineering, Electronics Information Technology Computer Sciences Postdoc North Rhine-Westphalia University
1 PostDoc Position - ERC-Consolidator-Award-Projekt: PropRT
Published
Application deadline
Full-time position
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.
(https://ls12-www.cs.tu-dortmund.de/daes/en/research/proprt.html)
Your tasks:
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.
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.
Your Qualification:
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.
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:
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
Otto-Hahn-Straße 16
44227 Dortmund Bei Fragen wenden Sie sich bitte an:
Jian-jia.chen@cs.tu-dortmund.de
oder: 0231/755-6078
TU Dortmund, Fakultät für Informatik, LS XII
Otto-Hahn-Straße 16
44227 Dortmund Bei Fragen wenden Sie sich bitte an:
Jian-jia.chen@cs.tu-dortmund.de
oder: 0231/755-6078
