[DL] PhD Scholarship in Liverpool

[Wolter, Frank]

PhD SCHOLARSHIP AT THE INTERSECTION OF LOGIC, KNOWLEDGE REPRESENTATION, AND DATABASES

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 of Logic, Knowledge Representation, and Databases.

The PhD student will be supervised by Professor Frank Wolter 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 Postdoctoral 
Research Positions will be advertised soon.

Possible PhD topics range from the study of theoretical aspects of quantitative temporal ontology languages,
many-dimensional combinations of temporal and description logics, or quantitative temporal query languages
to more practical work such as the implementation of query answering algorithms and research on case studies 
in collaboration with our partners at Free University of Bolzano (Italy), Siemens (Germany), Sirius (Norway), 
J. Pilsudski Institute (US), and Siris Academic (Spain).

The PhD Scholarship covers EU/home fees and approximately £15,000 per year stipend, for three years.

The preferred start date for the Scholarship is October 1, 2019. Interviews will be held from the beginning of May.

For further information, please contact

Frank Wolter (wolter at liverpool.ac.uk) or
Martin Zimmermann (Martin.Zimmermann at liverpool.ac.uk)