Back

Location
Anywhere
Date Posted
29 Jul 2019

Visit website


Type
PhD Project
CISPA Helmholtz Center for Information Security

Scientific assistant/PhD candidate: Formal Correctness Guarantees

Anywhere
29 Jul 2019

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 (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.


How to Apply

For more information, visit https://www.react.uni-saarland.de/people/position.html For submission of your application (CV, certificates/transcripts, letter of motivation) or further inquiries, write to Swen Jacobs: jacobs@cispa.saarland

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

Apply online


Upload your CV (optional)

Upload your Cover Letter (optional)


This is to prevent spam: