Logic List Mailing Archive

Research & Teaching Positions in Dresden: Knowledge Representation, Logic in Computer Science, Automata Theory

http://lat.inf.tu-dresden.de/position.html

Research and Teaching Positions available

                                                            
Research fields: Knowledge Representation, Logic in Computer Science,
Automata Theory, Automated Deduction

The Chair for Automata Theory of Prof. Baader at TU Dresden invites
applications for the following two positions, both starting in 2003: 

       Teaching and research position for 3-5 years, starting in spring
2003. We invite applications of both PhD students and postdocs. 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 undergraduate and graduate courses in Computer
Science as well as graduate courses in 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.

       Research position for 2 years, starting on February 1st, 2003
(extension by another 2 years possible). We invite applications of both
PhD students and postdocs. The holder of the position will work in the
DFG-funded project "Combinations of Knowledge Representation Formalisms".
This project is the sequel of a successfully completed DFG-project
"Combination of Modal and Description Logics", which is described on our
projects page. 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. 

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

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

       baader@inf.tu-dresden.de
       phone: (++49 351)-463 39160
       fax: (++49 351)-463 37959