PhD student position in Formal Verification and Reactive Synthesis, Saarbruecken, Germany

The Reactive Systems Group at Saarland University, Germany, invites applications for Ph.D. positions in projects on automated methods for the analysis and construction of complex reactive systems.

Our research is based on the theory of automata and games over finite and infinite graphs. We use a game-theoretic formalization of the interaction between the components of a reactive system to prove the correctness of the implementation (verification) and to develop methods that automatically derive implementations from formal specifications (synthesis). Our current research topics include

- Automata over infinite words and trees
- Games over finite and infinite graphs
- Controller synthesis for embedded systems
- Synthesis of distributed systems
- Verification of real-time systems
- Verification of optimizing compilers

Our research combines foundational topics with concrete applications and provides an excellent opportunity for dissertation projects.

We are looking for Ph.D. students to join our group as research and teaching assistants. The salary is set according to the TVÖD E13 pay scale (about 2800-4300 EUR/month, depending on qualification and family status).

Candidates should have an excellent degree in computer science, mathematics, or a closely related area. A good theoretical background (logic, automata theory, formal methods) and the ability to implement your ideas are a plus.

Saarland University provides a stimulating research environment with several research groups in the area of formal methods, both in the Computer Science Department and in cooperating research institutes located on campus, including the German Research Center for Artificial Intelligence (DFKI) and the Max Planck Institute for Computer Science.

The application deadline is 2007-05-02, later applications may be considered until the positions are filled. For more information see http://react.cs.uni-sb.de/.

Please send your complete application, including a statement of your research interests, your resume, and two references to

Universitaet des Saarlandes
Prof. Bernd Finkbeiner
Kennzahl 89B
Fakultaet 6.2 - Informatik
Gebaeude E 1 3
66123 Saarbruecken, Germany