[Job-offers-cs] Postdoctoral positions in Liverpool and London

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoctoral positions in Liverpool and London
Date: Mon, 15 Apr 2019 07:55:55 +0000
From: Konev, Boris <Boris.Konev at liverpool.ac.uk>
To: dmanet at zpr.uni-koeln.de <dmanet at zpr.uni-koeln.de>

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 at liverpool.ac.uk<mailto:wolter at liverpool.ac.uk><mailto:wolter at liverpool.ac.uk><mailto:wolter at liverpool.ac.uk>

Professor Michael Zakharyaschev via 
michael at dcs.bbk.ac.uk<mailto:michael at dcs.bbk.ac.uk><mailto:michael at dcs.bbk.ac.uk><mailto:michael at 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 at csc.liv.ac.uk<mailto:konev at csc.liv.ac.uk>
Tel: (+44) 151 795 4260
URL: http://www.csc.liv.ac.uk/~konev