Saarland, Germany
Date Posted
2 Mar 2017

Visit website

PhD Project
Saarland University

Automatic Synthesis of Distributed and Parameterized Systems

Saarland, Germany
2 Mar 2017

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

Position Description

Applications are invited for a PhD position in the research project “Automatic Synthesis of Distributed and Parameterized Systems”, a DFG-funded project run at Saarland University (Reactive Systems Group) by Dr. Swen Jacobs in collaboration with Prof. Bernd Finkbeiner.

The project aims at developing novel methods for the automatic synthesis of distributed systems from partial implementations and specifications in temporal logics, based on insights in automata and game theory and automated reasoning. The PhD student will look into novel ways of efficiently solving distributed synthesis problems for reactive systems with a fixed number of components, and investigate abstraction methods and small model theorems that reduce verification and synthesis of systems with a parametric number of components to reasoning about fixed-size systems.

Candidates should have a Masters degree (or equivalent) in computer science, with experience in formal methods being a strong plus. Good communication skills (in English) are required. The salary will be in accordance with the collective labor agreement TVÖD (gross salary for full-time position ≈45000 €/year). The initial funding period of the project is three years, with a possibility of renewal. The starting date is flexible, preferably before June 30 2015.

How to Apply

There is no deadline for applying - we will process applications as they arrive until a suitable candidate is found. The position will be associated with the Saarbrücken Graduate School of Computer Science: For submission of your application (CV, short letter of motivation, names of at least one referee) or further inquiries, write to Swen Jacobs: Email:

Apply online

Upload your CV (optional)

Upload your Cover Letter (optional)

This is to prevent spam: