Logic List Mailing Archive

Two postdoctoral positions in computational logic, Oxford (England), Deadline: 13 Dec 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@cs.ox.ac.uk

application link: http://www.cs.ox.ac.uk/news/1410-full.html
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam