Postdoctoral Research Associate in Proof-driven Query Planning (2 posts)
Posted: 10th November 2017
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Postdoctoral Research Associate in Proof-driven Query Planning (2 posts)
Fixed-term for 2 years, with the possibility of extension for an additional year
Grade 7: £31,604 - £38,833 p.a.
We have an exciting new opening for 2 Postdoctoral Research Associates to work with Professor Michael Benedikt on computational logic for 2 years. 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 participate in one or more of the following activities: analyse the decidability and complexity of guarded logics, develop and analyse proof systems for reasoning with guarded logics, studying interpolation via proof-theoretic or automata-theoretic means, studying the interaction between logic and data privacy and/or data integration.
You should have a first degree, and a doctoral degree in computer science or related discipline (or be close to completion) and a record of research in computational logic. All fields of computational logic will be considered.
The posts, which are a full -time appointments, are funded by EPSRC. They have a salary on the University grade 07S scale (currently £31,076 to £38,183 p.a.). This includes membership of the Universities Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).
For further details and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=132109
The closing date for applications is 12 noon on 13 December 2017.