Logic List Mailing Archive

PhD student scholarship in logic, knowledge representation and databases, Liverpool (England)

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 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 Postdoctoral Positions will be advertised soon.

Possible PhD projects range from the study of theoretical aspects of 
quantitative temporal ontology languages, many-dimensional combinations of 
quantitative temporal logics and description logics, and the investigation 
of quantitative temporal query languages, to more practical work such as 
the implementation of query answering algorithms and the 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@liverpool.ac.uk) or
Martin Zimmermann (Martin.Zimmermann@liverpool.ac.uk)

To apply, visit 
https://www.liverpool.ac.uk/study/postgraduate-research/studentships/ontology-based-data-management/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam