AIRO Young Opportunity

Post-doc position

(Academia)

Expires
05 May 2019
Institution
University of Liverpool
Country
UK
Description
We are seeking to recruit a Postdoctoral Researcher working on the new E.P.S.R.C.-funded research project “quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data”, under the direction of Professor Frank Wolter within the Department of Computer Science. The successful applicant will have a PhD in Computer Science, Mathematics, or a related discipline and research experience in at least one of the following areas: logic in computer science (in particular: temporal logic or description logic), mathematical logic, database theory or knowledge representation and reasoning. Your research tasks on the project will include developing and investigating new logic formalisms for representing temporal quantitative data and designing efficient algorithms for query answering. The project is joint with Professor Michael Zakharyaschev at University of London. The post is available for three years until 30 September 2022.