Two postdoctoral positions in computational logic, Oxford (England)

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.