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

Michael Benedikt michael.benedikt at gmail.com
Sun Dec 3 13:57:02 CET 2017


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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20171203/aa312850/attachment.html>


More information about the dl mailing list