[Proof Complexity] Lecturer in Logic at Leeds

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Tue Apr 19 22:30:26 CEST 2016


A lecturer position is available at the School of Mathematics at the University of Leeds: https://jobs.leeds.ac.uk/vacancy.aspx?ref=MAPMA1040

Application deadline is 28 April 2016.


--
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




More information about the Proof-Complexity mailing list