[Proof Complexity] PhD scholarship in Proof Complexity in Leeds

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Mon Oct 5 16:07:10 CEST 2015

Dear Colleagues,

A fully funded scholarship for PhD studies is available at the University of Leeds. The scholarship is earmarked for a project in proof complexity.

Details can be found here: http://www.engineering.leeds.ac.uk/faculty/postgraduate/research-degrees/scholarships/quantified-boolean-formulas.shtml

Application deadline is 15 January 2016. PhD studies will typically start September 2016.

For informal enquiries please do get in touch with me.

Best wishes
Olaf Beyersdorff

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