Two postdoctoral positions in ontology-based management of quantitative data (logicians wanted), Liverpool & London (England)

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. 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. The start date of the project is October 1, 2019.

For more information, see https://recruit.liverpool.ac.uk/pls/corehrrecruit/erq_jobspec_details_form.jobspec?p_id=011437 (Liverpool) and https://cis7.bbk.ac.uk/vacancy/postdoctoral-researcher--383691.html (London).