Reference number 2019/172. This definite term position is available in the period 01.10.2019 – 31.12.2021. In principle, this position can be divided into two part-time positions.
Die Universität Konstanz ist seit 2007 in der Exzellenzinitiative des Bundes und der Länder erfolgreich.
The position is available as part of a project aiming at the formal verification of Software Defined Networks (SDNs). More precisely, we aim at devising a toolbox for SDN debugging and for efficiently reasoning on, and explaining what caused failures of SDN applications, who is to be blamed or who is responsible for these erroneous behaviours. The research is to be performed within the Chair for Software and Systems Engineering (http://sen.uni-konstanz.de/), working together with Dr. Georgiana Caltais.
Please send your application including your cover letter, CV and official transcripts of education certificates as one PDF file at the latest on 22.09.2019 to Dr. Georgiana Caltais via E-Mail: Georgiana.Caltais@uni-konstanz.de, indicating the reference number 2019/172. Questions can be directed to Dr. Georgiana Caltais.
Persons with disabilities are explicitly encouraged to apply. They will be given preference if appropriately qualified (contact + 49 7531 88–4016). The University of Konstanz is committed to ensuring an environment that provides equal opportunities and promotes diversity as well as a good balance between university and family life. As an equal opportunity employer, we strive to increase the number of women working in research and teaching. We also support working couples through our dual career programme (https://www.uni-konstanz.de/en/equalopportunities/family/dual-career/).