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.

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.

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.