Scientific assistant/PhD candidate – Formal Correctness Guarantees

Applications are invited for a PhD position in the research group of Dr. Swen Jacobs at the CISPA Helmholtz Center for Information Security.

Topics

The scientific assistant will work on one or more of the following topics:
- development of new approaches for the automatic verification, repair, or synthesis of provably secure programs and systems, based on insights in formal specifications, automated reasoning, and automata theory,
- efficient implementation of methods that solve the automated verification and synthesis problem in practice, and
- investigation of methods that reduce verification and synthesis of systems with a parametric number of components to reasoning about fixed-size systems.

Additional Information

The scientific assistant will have the possibility to pursue doctoral studies in association with the Saarbrücken Graduate School of Computer Science (http://gradschool.cs.uni-saarland.de).

The position is paid well, according to the collective labor agreement TVÖD, and includes full benefits. The initial contract will be for three years, with a possibility of renewal. The starting date is flexible, sooner is better.
There is no deadline for applying – we will process applications as they arrive until a suitable candidate is found.

Your Qualification

Applicants need a very good Master (or equivalent) degree in Computer Science or a closely related field, good communication skills (in English) and a strong mathematical background.
Applicants with experience in one or more of the following fields will be preferred: program verification, program synthesis, program repair, formal methods, formal logic, automata theory, game theory, automated reasoning.

Application

For submission of your application or further inquiries, write to Swen Jacobs: jacobs@cispa.saarland