1y postdoctoral position in proof complexity, Leeds (England)

A 1-year post-doc position in proof complexity, computational complexity or mathematical logic is available at the University of Leeds from 1 August or 1 September 2015. The deadline for applications is 17 June 2015.

Details can be found at https://jobs.leeds.ac.uk/vacancy.aspx?ref=ENGCP1010. For informal queries please contact Olaf Beyersdorff (O.Beyersdorff at leeds.ac.uk).