Postdoctoral position in theory and practice of ontology-based query answering for expressive ontology languages, Liverpool (England)

The University of Liverpool, Department of Computer Science, invites applications for a Postdoctoral Research Associate Position in the EPSRC-funded project "Islands of Tractability in Ontology-Based Data Access". The position is available for three years starting July 1st, 2015.

The research associate will work under the supervision of Professor Frank Wolter in a joint project with Dr Boris Konev and Dr Andre Hernich. The topic is theory and practice of ontology-based query answering for expressive ontology languages focusing on classes of tractable ontology-based queries. Candidates should have a PhD in Computer Science, Logic, or Mathematics and relevant expertise in computational logic, complexity theory, database theory, or knowledge representation and reasoning.

For further details and application procedures, see http://www.liv.ac.uk/working/jobvacancies/currentvacancies/research/r-587876/