[DL] Multiple computational-logic-related postdoctoral positions at Oxford

Michael Benedikt michael.benedikt at gmail.com
Fri Jan 23 17:22:58 CET 2015

The Oxford Information Systems Group will have
multiple postdoctoral positions available on the project
Proof-Driven Query Planning (http://www.cs.ox.ac.uk/pdq/).

This is a 5-year project funded by the UK's
Engineering and Physical Science Research Council which
involves using proof systems to optimize database queries.
It will also include fundamental research on the connections between
logic and query optimization. Topics of interest include
interpolation, proof search in predicate and modal logic,
and automata-based approaches to satisfiability.

The deadline for applications is February 16.
For information on how to apply, see

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20150123/508d7cce/attachment.html>

More information about the dl mailing list