Fwd: [Proof Complexity] postdoc in proof complexity at Leeds

[Camilo Thorne]

Camilo Thorne

DWS Group - Institut für Informatik und Wirtschaftsinformatik

University of Mannheim

B6, 26, D-68159 Mannheim

Germany

office: +49(0)6211812689

mobile: +49(0)15202380352

http://camilothorne.com

"Exegi monumentum aere perennius" 

(Horatius, Ode III-30)

---------- Forwarded message ----------
From: Olaf Beyersdorff <O.Beye...@leeds.ac.uk>
Date: Thu, Sep 8, 2016 at 3:21 PM
Subject: [Proof Complexity] postdoc in proof complexity at Leeds
To: "proof-co...@math.cas.cz" <proof-co...@math.cas.cz>


A postdoc position in proof complexity is available in Leeds for 3 months starting October. Given the short duration it is rather like a visiting position, but with full salary and travel money.

If you are interested to work with me in Leeds during that time please get in touch.

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


_______________________________________________
Proof-Complexity mailing list
Proof-Co...@math.cas.cz
https://list.math.cas.cz/listinfo/proof-complexity