[Proof Complexity] Post-doctoral position in proof complexity at Leeds

[Olaf Beyersdorff]

Dear Colleagues,

A 1-year post-doc position in proof complexity, computational complexity or mathematical logic is available at the University of Leeds from August/September 2015. Details can be found at https://jobs.leeds.ac.uk/vacancy.aspx?ref=ENGCP1010.

The deadline for applications is 17 June 2015.

I am very happy to answer informal questions on the position.

Best wishes
Olaf Beyersdorff


--
Dr Olaf Beyersdorff
School of Computing
University of Leeds, Leeds, LS2 9JT, UK.
Phone: +44 113 343 8319
Email: O.Beyersdorff at leeds.ac.uk<mailto:O.Beyersdorff at leeds.ac.uk>
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff