[DL] Research and teaching position available

[Carsten Lutz]

  *** Research and teaching position available

  at the Chair for Automata Theory
      of Prof. Franz Baader
      at Technical University Dresden.

We invite applications of PhD students and postdocs for a research and
teaching position available for 3-5 years, starting in May 2003.

Applicants should have research experience in one or more of the
following areas: logic in computer science, knowledge representation,
automated deduction, automata theory. The holder of the position will
be a tutor (german Uebungsgruppenleiter) in Computer Science courses
and in courses of the international master course "Computational
Logic". Moreover, postdocs will have the opportunity to offer own
lectures as part of the Computer Science and Computational Logic
curriculum. Experience as tutor or lecturer in logic or theoretical
computer science, either in german or english language, are expected.

Successful applicants will become a member of the internationally
renowned research group of Prof. Baader, which works in knowledge
representation (in particular description logics and modal logics) and
automated deduction (in particular term rewriting and unification
theory).  For more information on the group and its projects see
the homepage

        http://lat.inf.tu-dresden.de/index-en.html

Please send applications to Prof. Baader (preferably by Email; applications
will be considered until the positions are filled).

Prof. Franz Baader
Technische Universitaet Dresden
Fakultaet Informatik
Institut fuer Theoretische Informatik
01062 Dresden
Germany

mail:  baader at inf.tu-dresden.de

phone: (++49 351)-463 39160
fax:   (++49 351)-463 37959