[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

office: +49(0)6211812689
mobile: +49(0)15202380352

"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

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

Proof-Complexity mailing list
Proof-Complexity at math.cas.cz
-------------- 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