[loginf] Research Position at TU Dresden
clu at tcs.inf.tu-dresden.de
Tue Dec 3 14:46:05 CET 2002
*** 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
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 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
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 loginf