Open research positions dealing with ontology reasoning and SPARQL querying

To whom it may concern

Please see announced the following research positions at Universität Koblenz-Landau dealing with ontology reasoning and SPARQL querying in 2 basic research projects funded by German National Science Foundation.
All positions are suitable for either PhD students or PostDocs.

Best regards,
Steffen Staab

> Position 1: Changes in Ontologies
> 
> The position is part of the interdisciplinary DFG-funded project "EVOWIPE - Explicit Forgetting of Ontology-based Knowledge in Product Development" <http://west.uni-koblenz.de/en/research/evowipe> which belongs to the DFG priority programme "Intentional Forgetting in Organisations <http://www.spp1921.de/>". The aim of the project is to develop methods for the implementation of changes on ontology-based knowledge bases and the application of these methods in product development in mechanical engineering. The position is available as of now and time-limited to two years. The possibility of acquiring a PhD is given. The official job advertisement can be found here: http://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/ko462017 <http://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/ko462017>
> 
> Position 2 and 3: Language-integrated Semantic Querying
> 
> Both positions belong to the DFG-funded project LISeQ - Language-integrated Semantic Querying. This project deals with type safety of semantic SPARQL queries on ontologies and their integration into functional programming languages.  One position focuses on research questions of the Semantic Web, Ontology Reasoning and Query Entailment. In particular, the focus lies on epistemic reasoning as well as query subsumption, typing of queries and approximating the runtime behavior of queries in the presence of background knowledge. The other position focuses on Software Language Engineering. In particular, on the extension of programming languages, type inference as well as parametric and ad-hoc polymorphism in programs that work with semantic data. The possibility of acquiring a PhD is given. The official job advertisement can be found here: https://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/ko532017 <https://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/ko532017>