2 POSTDOCTORAL POSITIONS IN COMPUTATIONAL LOGIC AT OXFORD

 
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: