Dear colleagues, We currently=A0have a vacancy for a 1 year (with the possibility of extensi= on to 3 years) postdoctoral position in UCL=92s Programming Principles, Log= ic and Verification research group. It is=A0attached to the EPSRC-funded pr= oject ReLiC: A Coalgebraic Framework for Reductive Logic and Proof Search. https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=3DEP/S013008/1 The successful candidate will be working with PI Prof.=A0David Pym and co-i= nvestigators=A0Prof.=A0Alexandra Silva and Dr.=A0Simon Docherty on coalgebr= aic and category theoretic approaches to the theory of proof search, focusi= ng on the representation of both=A0search spaces and the algorithmic contro= l processes used to navigate them. The ideal candidate will additionally ha= ve=A0automated reasoning and implementation expertise, with a view to imple= ment prototype theorem provers based on the generic theory of reductive log= ic. 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= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]