Research Associate (Fixed-Term) (KM6179)

Post-Doctoral Research Associate

We invite applications for a post-doctoral research position, to investigate a new approach to sharing in the lambda-calculus based on deep-inference proof theory. 

This is a 3-year fixed-term post starting 1st of January 2019. It is part of the EPSRC-funded project `Typed Lambda-Calculi with Sharing and Unsharing'.

In recent years, deep inference has made a large impact in proof theory, with spectacular results in proof complexity and normalization for classical logic. In this project we investigate intuitionistic deep inference from a computational perspective, starting from the exciting observation that it can express forms of sharing thus far seen only in sharing graphs for optimal lambda-calculus reduction. We will build on this observation to: develop a theory of normalization with sharing in deep inference, possibly capturing optimality; implement the new means of sharing in typed lambda-calculi, graph-rewriting calculi, and abstract machines; measure their efficiency with semantic tools such as quantitative types.

We are looking for excellent candidates with a PhD and a proven track record in one or more of the following areas:

You will be part of the Mathematical Foundations group in the Department of Computer Science, University of Bath. We are a small, lively research group with an excellent international reputation. You will have the opportunity to travel to various collaborators on the project in Europe, for example in Bologna, Oslo, and Paris.

The University of Bath is a great place to work with outstanding facilities. Bath is a Unesco World Heritage city with fantastic amenities offering excellent quality of life.

Relevant links:

For any questions about the position, the project, or the recruitment process, please contact:

Willem Heijltjes
W.B.Heijltjes@bath.ac.uk
willem.heijltj.es

Closing Date: 29 Oct 2018
Type: Education & Research