Automatic Synthesis of Distributed and Parameterized Systems

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.