[Proof Complexity] postdoc in proof complexity at Leeds

[Olaf Beyersdorff]

A postdoc position in proof complexity is available in Leeds for 3 months starting October. Given the short duration it is rather like a visiting position, but with full salary and travel money. 

If you are interested to work with me in Leeds during that time please get in touch.

Best wishes
Olaf

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