Logic List Mailing Archive

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

Dear colleagues,

We currentlyhave 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 isattached 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-investigatorsProf.Alexandra Silva and Dr.Simon Docherty on 
coalgebraic and category theoretic approaches to the theory of proof 
search, focusing on the representation of bothsearch spaces and the 
algorithmic control processes used to navigate them. The ideal candidate 
will additionally haveautomated 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