[DMANET] Postdoctoral positions in Liverpool and London

Two Postdoctoral Researchers for EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data" (1 October 2019 - 30 September 2022)

We are seeking to recruit two Postdoctoral Researchers for the new EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data", under the direction of Professor Frank Wolter (University of Liverpool) and Professor Michael Zakharyaschev (Birkbeck, University of London).

The successful applicants should have a PhD in Computer Science, Mathematics, or related discipline and research experience in one (or more) of the following areas:

- modal logic
- temporal logic
- description logic
- logic in computer science
- mathematical logic
- database theory
- automata theory

Your research tasks on the project will include developing and investigating new logic-based formalisms for representing knowledge about temporal quantitative data (for example, data from sensors) and designing efficient algorithms for query answering. The project will include both theoretical and practical components, and you can contribute to either of them. In the theoretical part, we are interested in quantitative temporal ontology languages, many-dimensional combinations of temporal and description (or other) logics, quantitative temporal query languages. More practical work concerns the implementation of query answering algorithms and research on case studies in collaboration with our partners at the Free University of Bolzano and Ontopic (Italy), Siemens (Germany), Sirius (Norway), J. Pilsudski Institute (US), and Siris Academic (Spain).

Liverpool team: Prof Frank Wolter, Prof B Konev and Dr M Zimmerman

London team: Prof M Zakharyaschev, Dr R Kontchakov and Dr Vlad Ryzhikov


Salary range in Liverpool: £34,188 - £39,610 per annum

Salary range in London: £37,912 - £43,333 per annum.

The start date of the project is October 1, 2019. Interviews will be held in the second half of May.

Informal enquires on the role can be made by email to

Professor Frank Wolter via wolter@liverpool.ac.uk<mailto:wolter@liverpool.ac.uk><mailto:wolter@liverpool.ac.uk><mailto:wolter@liverpool.ac.uk>

Professor Michael Zakharyaschev via michael@dcs.bbk.ac.uk<mailto:michael@dcs.bbk.ac.uk><mailto:michael@dcs.bbk.ac.uk><mailto:michael@dcs.bbk.ac.uk>

Formal application

Liverpool: job reference 011437 at https://recruit.liverpool.ac.uk<https://recruit.liverpool.ac.uk/>

London: https://cis7.bbk.ac.uk/vacancy/postdoctoral-researcher--383691.html

Closing Date: 05-May-2019
--
Prof. Boris Konev
Head of Department of Computer Science
University of Liverpool
Liverpool, L69 3BX, UK
Email: konev@csc.liv.ac.uk<mailto:konev@csc.liv.ac.uk>
Tel: (+44) 151 795 4260
URL: http://www.csc.liv.ac.uk/~konev

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************