<div dir="ltr"><div>The Oxford Information Systems Group will have </div><div>multiple postdoctoral positions available on the project</div><div>Proof-Driven Query Planning (<a href="http://www.cs.ox.ac.uk/pdq/">http://www.cs.ox.ac.uk/pdq/</a>).</div><div><br></div><div>This is a 5-year project funded by the UK's</div><div>Engineering and Physical Science Research Council which</div><div>involves using proof systems to optimize database queries.  </div><div>It will also include fundamental research on the connections between </div><div>logic and query optimization. Topics of interest include</div><div>interpolation, proof search in predicate and modal logic,</div><div>and automata-based approaches to satisfiability.</div><div><br></div><div>The deadline for applications is February 16.</div><div>For information on how to apply, see</div><div><br></div><div><a href="http://www.cs.ox.ac.uk/news/872-full.html">http://www.cs.ox.ac.uk/news/872-full.html</a></div></div>