[DL] PhD position in KR&Logic

[Carsten Lutz]

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

PhD position
Computer Science - Salary Scale TV-L 13 (100%)

in the DFG-funded project “Conservative Extensions in Ontology
Languages: Beyond Description Logics”. The position is available from
March 1st, 2015, subject to clearance by the University administration,
and is limited to 36 months.

In description logic, the notion of a conservative extension provides
an important foundation for ontology refinement, reuse, versioning,
and modularity. The aim of the project is to study conservative
extensions beyond description logics, with an emphasis on
computational complexity and model-theoretic characterizations.
Logics of interest include guarded fragments of first-order logic and
existential rules.

The appointed candidate will carry out research in the described
project and will be given the opportunity to pursue a scientific
qualification (PhD studies).

The position requires a computer science degree on the MSc level or a
comparable qualification. Good knowledge of logic and/or knowledge
representation are desirable. 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 February15th, 2015, quoting the
vacancy A5/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 we cannot return them for economic reasons.

For further information, feel free to contact Prof. Dr. Carsten Lutz,
+49 (0)421 218-64431, clu at cs.uni-bremen.de or Dr. Thomas Schneider,
+49 (0)421 218-64432, ts at cs.uni-bremen.de.