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

[Michael Benedikt]

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

http://www.cs.ox.ac.uk/news/872-full.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20150123/508d7cce/attachment.htm>