Postdoctoral position in "Recursion, Guarded Recursion and Computational Effects", Birmingham (England)

The university of Birmingham is looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project "Recursion, Guarded Recursion and Computational Effects".

The researcher will work with Paul Blain Levy (principal investigator) and Neelakantan Krishnaswami (co-investigator) as part of the Theoretical Computer Science group at the University of Birmingham, to investigate fine-grained typed calculi and operational, denotational and categorical semantics for languages that combine either guarded or general recursion and type recursion with a range of computational effects. This will build on existing work such as call-by-push-value and Nakano's guarded recursion calculus. The position lasts from 1 October 2016 until 30 September 2019.

The closing date is at 22 May 2016. Reference: 54824. You can read more and apply for the job at http://tinyurl.com/projguarded. Informal enquiries can be made to Dr Paul Levy (P.B.Levy at cs.bham.ac.uk).