Logic List Mailing Archive

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

PhD Studentship in Computer Science Logic, applied to Databases and 
Knowledge Representation at University of Liverpool

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 topic of the project is dependent on the interest and 
background of the student. It is linked to the new EPSRC-funded research 
project ?quantMD: Ontology-Based Management of Many-Dimensional 
Quantitative Data?.

Ontology-based data management (OBDM) is a technology that has been 
developed over the past decade with the aim of facilitating access to 
various types of data sources. So far, OBDM has been developed primarily 
for access to purely qualitative and one-dimensional data, but nowadays 
data is mostly numerical, many-dimensional, often temporal, and user 
information needs usually involve quantitative analysis.

The aim of this project is to develop a novel OBDM framework for querying 
and analysing many-dimensional numerical data. To address the challenges, 
we aim to bring together techniques from databases, knowledge 
representation, and formal methods, in particular temporal and modal 
logics, and develop these further. We aim to develop a theoretical 
framework for querying such data, develop tools for using this framework 
in practice, and test our tools with our partners.

The research will take place under the direction of Professors Frank 
Wolter and Boris Konev and Dr Martin Zimmermann at the Department of 
Computer Science, University of Liverpool. quantMD is a joint project with 
Professor Michael Zakharyaschev at University of London and with the 
following partners: Free University of Bolzano (Italy), Siemens (Germany), 
Sirius (Norway), J. Pilsudski Institute (US), and Siris Academic (Spain).

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.

For more information and to apply, please contact Professor Frank Wolter 
(https://www.liverpool.ac.uk/computer-science/staff/frank-wolter/) and Dr 
Martin Zimmermann 
(https://www.liverpool.ac.uk/computer-science/staff/martin-zimmermann/).
--
[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