Logic List Mailing Archive

W3 Professorship in Logic and Theory of Discrete Systems, Aachen (Germany), Deadline: 20 May 2011

=========================================================
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@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 fu?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.