Logic List Mailing Archive

PhD student or postdoctoral position in Theory of Artificial Intelligence, Bremen (Germany), Deadline: 30 June 2010

The following position is available at the Faculty for Mathematics and
Computer Science of the University of Bremen, subject to position
clearance:

1 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.

As the University of Bremen intends to increase the proportion of
female employees in science, women are particularly encouraged to
apply.

In case of equal personal aptitude and qualification, disabled persons
will be given priority.

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 and send your application under the reference
number A 95/10 (email much preferred) to:

Prof. Carsten Lutz
Fachbereich 3
Universitaet Bremen
Postfach 33 04 40
28334 Bremen
clu at uni-bremen.de

We kindly ask to submit application documents as copies, as we are not
able to send them back. After the application process has come to an
end, all application material will be destructed.