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

[Michael Benedikt]

2 POSTDOCTORAL POSITIONS IN COMPUTATIONAL LOGIC AT OXFORD
* Oxford University, UK
* Duration 1-3 years,
* Multiple postdoctoral positions are available in Oxford in the
project Proof-Driven Query Planning. Topics of interest include
model theory and proof theory for guarded logics,
interpolation, proof search and automata-to-logic translation.

Starting time and duration are flexible, with the latest starting time
being  fall of 2018. Both applied and theoretically-oriented
candidates will be considered. The position has no teaching or
administration duties.
* Deadline, December 13, 2017
* Contact for application and position details:
further details: michael.benedikt at cs.ox.ac.uk

application link: http://www.cs.ox.ac.uk/news/1410-full.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20171203/aa312850/attachment.htm>