Research Associate in Computational Logic or Applications of Reasoning to Data Management (2 posts)
Posted: 7th December 2018
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Research Associate in Computational Logic or Applications of Reasoning to Data Management (2 posts)
Fixed-term until 30 June 2020
Grade 7: £32,236 - £39,609 p.a.
We have an exciting new opening for a Research Associate to work with Professor Michael Benedikt on computational logic or applications of reasoning to data management. The foundational component of the project includes the study of decidability and complexity of guarded logics, interpolation and Beth definability for guarded logics, proof systems for guarded logics and connections between automata theory and guarded logics. The project also includes applications in data management, including the analysis of privacy and its connection to logic, and the synthesis of database implementations from specifications.
You will be expected to conduct original research either in computational logic or applications of reasoning to data management: the former would include analysing the decidability and complexity of guarded logics, studying interpolation via proof-theoretic or automata-theoretic means; the latter will involve applications of reasoning to data management practice.
You should have a first degree, together with a doctoral degree in computer science or related discipline (or be close to completion) and a record of research in either computational logic or data management. All fields of computational logic will be considered, and applied researchers working broadly on data integration with an interest in reasoning are also encouraged to apply. Experience of working in collaborative or interdisciplinary environment, and programming experience (preferably in Java) is highly desirable.
For further details and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=138510
The closing date for applications is 12 noon on 7 January 2019.
Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, for example http://www.cs.ox.ac.uk/aboutus/women-cs-oxford/index.html, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example maternity leave.