[DL] Two postdoc positions in logic, KR, database theory, and CSP

[Carsten Lutz]

The University of Bremen, Department 3 (Mathematics and Computer
Science), invites applications for

Two postdoc positions
Computer Science - Salary Scale TV-L 13 (100%)

in the ERC-funded project “Custom-Made Ontology-Based Data Access”.
The position is available from August 1st, 2015, subject to clearance
by the University administration, and is limited to five years.

The project addresses ontology-based data access (OBDA) with
description logics and other decidable fragments of first-order logic
such as the guarded fragment. It brings together research in
logic-based knowledge representation, database theory, and constraint
satisfaction problems to provide custom-tailored OBDA theory and tools
for applications. We are interested both in candidates with a pure
theory background and in candidates which have a solid background in
theory, but are also interested in system building.

The appointed candidate will carry out research in the described
project and will be given the opportunity to pursue a scientific
qualification (habilitation). There are no teaching duties associated
with the positions. Our working language is English.

The positions require a PhD in computer science, logic, or mathematics
or a comparable qualification. Good knowledge of at least one of the
involved areas is mandatory. The successful candidate will work in the
group “Theory of Artificial Intelligence” led by Carsten Lutz.

The University of Bremen aims to increase the proportion of female
employees in science. Therefore women are particularly encouraged to
apply.

Priority will be given to disabled persons in case of equal
professional and personal qualification. Applicants with a migration
background are welcome.

Please send your application by June 11th, 2015, quoting the vacancy ID
A91/15, on paper to

Prof. Dr. Carsten Lutz
Fachbereich 3
Universität Bremen
Postfach 33 04 40
28334 Bremen
Germany

or in electronic form to
hederich at informatik.uni-bremen.de

We kindly ask you to send us only copies of your application documents
(no folders) because they will not be returned for economic reasons.
For further information, please contact Carsten Lutz, +49 (0)421
218-64431, clu at uni-bremen.de.