Research Assistant / Post Doc in Computer Science

(full-time, E 13 TV-L)

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 (, working together with Dr. Georgiana Caltais.

Your responsibilities

  • Performing research and developing prototype implementations in accordance with the objectives of the project.
  • Disseminating results in written and oral form.
  • Supporting of the work of the Chair, thereby also shaping our activities.

Your Competencies

  • Expertise in formal methods for the design and analysis of complex systems.
  • Areas of particular interest include, but are not limited to: software defined networks, causality checking and formal models of causality, automatic program repair, formal languages / automata, static program analysis.
  • You possess a scientific graduate degree (Master’s level) or a PhD in Computer Science (or Mathematical Logic) with excellent grades.
  • You feel comfortable working on theoretical as well as application oriented problems.
  • You have excellent English language proficiency in speech and writing.

We Offer

  • Good development opportunities, extensive training and an attractive remuneration package.
  • English language academic courses from a large range of topics in software and systems engineering and formal methods which we introduce into the theoretical and methodological foundations as well as practical industrial applications.

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:, 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 (



Back to overview