deadline: 2007-05-02
[ The following text is in the "X-UNKNOWN" character set. ]
[ Your display is set for the "iso-8859-1" character set. ]
[ Some characters may be displayed incorrectly. ]
Ph.D. Positions in Formal Verification and Reactive Synthesis
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 TVD 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