[DL] PhD Scholarship in Liverpool
wolter at liverpool.ac.uk
Fri Mar 22 17:42:07 CET 2019
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)
More information about the dl