[Proof Complexity] PhD scholarship at the University of Leeds

[Olaf Beyersdorff]

A fully funded PhD scholarship to start in September 2016 is available at the University of Leeds. The scholarship is specifically advertised in Proof Complexity, see http://www.engineering.leeds.ac.uk/faculty/postgraduate/research-degrees/scholarships/quantified-boolean-formulas.shtml

Application deadline is 15 January 2016.

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<mailto:O.Beyersdorff at leeds.ac.uk>
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff