Date Posted
29 Jul 2024

Visit website

PhD Project
CISPA Helmholtz Center for Information Security

Scientific assistant/PhD candidate: Formal Correctness Guarantees

29 Jul 2024

NOTE: this position listing has expired and may no longer be relevant!

Position Description

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 (

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.

How to Apply

For more information, visit For submission of your application (CV, certificates/transcripts, letter of motivation) or further inquiries, write to Swen Jacobs:

Position Category: Technology. Position Type: PhD Project. Position Tags: security, theoretical computer science, formal methods, and verification. Salary: €40'000 - €50'000.