[Proof Complexity] PhD scholarship in Proof Complexity in Leeds

[Olaf Beyersdorff]

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