PhD student position in Computer Science Logic, Liverpool (England)

The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection Logic, Knowledge Representation, and Databases.

The PhD student will be supervised by Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann and will closely collaborate with Postdoctoral Researchers working on the new EPSRC-funded research project 'quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data', a joint project with Professor Michael Zakharyaschev at University of London. The PhD student on this project will have a good background in one of the following areas: computational logic, mathematical logic, databases, or knowledge representation and reasoning.