[DL] Research and teaching position available
clu at tcs.inf.tu-dresden.de
Tue Feb 25 12:27:59 CET 2003
*** 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
Please send applications to Prof. Baader (preferably by Email; applications
will be considered until the positions are filled).
Prof. Franz Baader
Technische Universitaet Dresden
Institut fuer Theoretische Informatik
mail: baader at inf.tu-dresden.de
phone: (++49 351)-463 39160
fax: (++49 351)-463 37959
More information about the dl