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

Camilo Thorne camilo.thorne at gmail.com
Thu Sep 8 15:29:18 CEST 2016


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.Beyersdorff at leeds.ac.uk>
Date: Thu, Sep 8, 2016 at 3:21 PM
Subject: [Proof Complexity] postdoc in proof complexity at Leeds
To: "proof-complexity at math.cas.cz" <proof-complexity at 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.Beyersdorff at leeds.ac.uk
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff


_______________________________________________
Proof-Complexity mailing list
Proof-Complexity at math.cas.cz
https://list.math.cas.cz/listinfo/proof-complexity
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20160908/a4a8818d/attachment.html>


More information about the dl mailing list