[Proof Complexity] PhD scholarship at the University of Leeds

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Fri Dec 18 15:31:17 CET 2015

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

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>

More information about the Proof-Complexity mailing list