Logic List Mailing Archive

Postdoctoral position on a coalgebraic framework for reductive logic, London (England), Deadline: 7 Feb 2019

Dear colleagues,

We currently�have a vacancy for a 1 year (with the possibility of 
extension to 3 years) postdoctoral position in UCL?s Programming 
Principles, Logic and Verification research group. It is�attached to the 
EPSRC-funded project ReLiC: A Coalgebraic Framework for Reductive Logic 
and Proof Search.

https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/S013008/1

The successful candidate will be working with PI Prof.�David Pym and 
co-investigators�Prof.�Alexandra Silva and Dr.�Simon Docherty on 
coalgebraic and category theoretic approaches to the theory of proof 
search, focusing on the representation of both�search spaces and the 
algorithmic control processes used to navigate them. The ideal candidate 
will additionally have�automated reasoning and implementation expertise, 
with a view to implement prototype theorem provers based on the generic 
theory of reductive logic.

The official job advertisement can be found at the following link

https://www.jobs.ac.uk/job/BPF762/research-fellow-in-programming-principles-logic-and-verification

with a closing date of February 7th (although this is likely to be 
extended).

thank you,
Simon Docherty
--
[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