Post-Doctoral Research Assistant on Proof-driven Query Planning (2 posts) Fixed-term for up to 2 years (with the possibility of extension) Grade 7: £30,434 - £37,394 p.a.

The Department of Computer Science has 2 vacancies for full-time postdoctoral Research Assistants to work with Professor Michael Benedikt on query planning over datasources with diverse interfaces in the presence of integrity constraints. Work for this post will include developing algorithms for generating physical plans either in a centralized data management setting as part of a query optimizer, on top of a database manager, or in a federated setting on top of data sources with diverse query capabilities. In each case the planner should be able to make full use of integrity constraints in generating plans, where these constraints can be in restricted subsets (e.g. SQL keys and foreign keys) or in very rich languages, such as first-order logic.

Candidates should have a first degree, and a doctorate in computer science or related discipline (or be about to obtain one) and a record of research in either query optimization or in computational logic.

The posts, which are fixed-term contracts, are available for up to 2 years, have a salary on the University grade 07S scale (currently £30,434 - £37,394 p.a.), will include membership of USS, as well as an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).

Committed to equality and valuing diversity

For further details and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=116777