PhD student position in description logic, Bremen (Germany)

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.

Please send your application by February 15th, 2015, quoting the vacancy A5/15. For more information, see http://www.informatik.uni-bremen.de/cms/detail.php?id=81570 or contact Prof. Dr. Carsten Lutz (clu at cs.uni-bremen.de) or Dr. Thomas Schneider (ts at cs.uni-bremen.de).