Unfortunately we didn't find any matches for your search criteria.
Tip: Adjust your search filter by deleting one or more filters or extending your search, e.g. with additional positions, sectors or locations.
Please note: This job ad is no longer active.
Discover here more job vacancies on academics – the leading job market for science and research. In order to receive information about suitable job vacancies regularly by email, you can register with us free of charge at any time.
Research Assistant / Post-Doc (f/m/d) in Computer Science
University of Konstanz
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.
The University of Konstanz has been successful in the German Excellence Initiative since 2007.
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.
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.
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 lan-guages / 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.
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 August 25, 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