[DL] Research Position at TU Dresden

[Carsten Lutz]

  *** Research position available

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

We invite applications of PhD students and postdocs for a research position
in the DFG-funded project 

       "Combination of Knowledge Representation Formalisms".

This project is	the sequel of the successfully completed DFG-project 
"Combination of Modal and Description Logics", which is described on our
projects homepage

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

Applicants should have research experience in one or more of the 
following areas: logic in computer science, knowledge representation,
automated deduction. Experience in modal and description logics
is desirable but not mandatory. 

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

The position is initially available for 2 years, starting in February 
2003. An extension by another 2 years is possible.

Please send applications to Prof. Baader (preferably by email until
January 31, 2003; 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