Full Professor (W3) in Theoretical Computer Science: RWTH Aachen University, Germany

---

Vacancy announcement at RWTH Aachen University, Germany:

Full Professor (W3) in Theoretical Computer Science
(Logic and Theory of discrete Systems)

(Succession of Prof. Dr. Dr. h.c. W. Thomas)

---

The Faculty of Mathematics, Computer Sciences, and Natural Sciences are seeking qualified applicants for teaching and research in the area of theoretical computer science. The starting date is October 1, 2012. The research focus of this professorship is the theory of discrete systems based on mathematical logic and automata theory, aimed at applications in various fields of computer science, such as modelling, specification, verification and synthesis.

We expect an active involvement in all informatics curricula, as well as in courses for other areas. The successful candidate is expected to maintain collaboration with other disciplines at RWTH Aachen University.

A Ph.D. degree is required; additionally, a habilitation (post- doctoral lecturing qualification), an exemplary record of research achievement as an assistant / an associate / a junior professor or university researcher and/or an outstanding career outside academia are highly desirable. Outstanding teaching abilities and a strong commitment to teaching are essential. It is expected that applicants will be able to teach in German within five years.

Informal confidential enquiries may be made to Professor Joost- Pieter Katoen, Head of the Selection Committee, on tel: +49 241 8021200 or email: katoen at cs.rwth-aachen.de.

Your application should include supporting documents regarding success in teaching, a cover letter stating research aims, and a CV and should be directed to:

An den Dekan der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen
Prof. Dr. G. Hiß, Templergraben 55, 52062 Aachen, Germany.

The (firm) deadline for applications is May 20, 2011.

Working towards equal opportunities.