The objective of the position is to strengthen the department’s activities in the broad range from theory to applications in the area of distributed, embedded, and intelligent systems. Here, current research and teaching span topics such as semantic theories; algorithms and tools for verification and validation; model-driven development, analysis and optimization; and probabilistic models and algorithms for decision making and machine learning.
The level of qualification for Associate Professors shall correspond to the level, which can be achieved on the basis of the appointment as Assistant Professor, but may be achievable in other ways. The appointment presupposes that the applicant can demonstrate original scientific production at an international level as well as documented teaching qualifications. Appointment to the position requires that both research and teaching qualifications are at the requested level. The two qualifications will be given equal and principal priority in the overall assessment.