Postdoctoral position in "Efficient and Natural Proof Systems", Bath (U.K.)

We are looking for a researcher who can work with categorical models of proofs and who has an interest in geometric proof representations such as proof nets and atomic flows. The main focus of this position will be in the semantic aspects of the new proof theory, working mainly with Guy McCusker, Alessio Guglielmi and Paola Bruscoli.

The post is associated with the three-year EPSRC project "Efficient and Natural Proof Systems", which is about developing an ambitious, modern semantic-motivated proof theory for representing natural proofs of minimal complexity. The post will be available for up to 3 years, with effect from 1st February 2013.

Closing Date: Wednesday 23 January 2013 For more information, see https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=VH1457