PhD student or postdoctoral position in Theory of Artificial Intelligence, Bremen (Germany)

The Faculty for Mathematics and Computer Science of the University of Bremen has a position available for a Doctoral Research Assistant / Postdoctoral Researcher in Computer Science (TVL-13, 35,000 to 50,000 Euro p.a. pre-tax)

The successful candidate will be associated with the group `theory of artificial intelligence', carry out research on logic-based knowledge representation, and teach courses in computer science (theoretical computer science and AI). The position can be used for scientific qualification (PhD or habilitation). Candidates must have a degree in computer science or a related field (diploma, MSc or PhD). The focus of the group is on description logic, modal logic in computer science, and related areas. Candidates with a background in knowledge representation and/or logic in computer science will be given preference.

The position is available from October 2010 and is initally limited to three years, extension possible. The application deadline is June 30, 2010, but applications will continue to be considered until the position is filled.

Please address questions to Prof. Carsten Lutz at clu at uni-bremen.de, or see http://www.informatik.uni-bremen.de/cms/detail.php?id=75979&detail=alternate.