<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><div class="gmail_quote">2 POSTDOCTORAL POSITIONS IN COMPUTATIONAL LOGIC AT OXFORD</div><div class="gmail_quote">* Oxford University, UK</div><div class="gmail_quote">* Duration 1-3 years, </div><div class="gmail_quote">* Multiple postdoctoral positions are available in Oxford in the</div><div class="gmail_quote">project Proof-Driven Query Planning. Topics of interest include</div><div class="gmail_quote">model theory and proof theory for guarded logics,</div><div class="gmail_quote">interpolation, proof search and automata-to-logic translation.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Starting time and duration are flexible, with the latest starting time</div><div class="gmail_quote">being  fall of 2018. Both applied and theoretically-oriented</div><div class="gmail_quote">candidates will be considered. The position has no teaching or </div><div class="gmail_quote">administration duties.</div><div class="gmail_quote">* Deadline, December 13, 2017</div><div class="gmail_quote">* Contact for application and position details:</div><div class="gmail_quote">further details: <a href="mailto:michael.benedikt@cs.ox.ac.uk">michael.benedikt@cs.ox.ac.uk</a></div><div class="gmail_quote"><br></div><div class="gmail_quote">application link: <a href="http://www.cs.ox.ac.uk/news/1410-full.html">http://www.cs.ox.ac.uk/news/1410-full.html</a></div><div><br></div></div></div></div>