<div dir="ltr"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Camilo Thorne</div><div dir="ltr"><br></div><div dir="ltr">DWS Group - Institut für Informatik und Wirtschaftsinformatik</div><div dir="ltr">University of Mannheim</div><div dir="ltr">B6, 26, D-68159 Mannheim</div><div dir="ltr">Germany</div><div dir="ltr"><br></div><div dir="ltr">office: +49(0)6211812689</div><div dir="ltr">mobile: +49(0)15202380352</div><div dir="ltr"><a href="http://camilothorne.com" target="_blank">http://camilothorne.com</a></div><div dir="ltr"><br></div><div dir="ltr">"Exegi monumentum aere perennius" </div><div dir="ltr">(Horatius, Ode III-30)</div></div></div></div></div></div>
<br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Olaf Beyersdorff</b> <span dir="ltr"><<a href="mailto:O.Beyersdorff@leeds.ac.uk">O.Beyersdorff@leeds.ac.uk</a>></span><br>Date: Thu, Sep 8, 2016 at 3:21 PM<br>Subject: [Proof Complexity] postdoc in proof complexity at Leeds<br>To: "<a href="mailto:proof-complexity@math.cas.cz">proof-complexity@math.cas.cz</a>" <<a href="mailto:proof-complexity@math.cas.cz">proof-complexity@math.cas.cz</a>><br><br><br>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.<br>
<br>
If you are interested to work with me in Leeds during that time please get in touch.<br>
<br>
Best wishes<br>
Olaf<br>
<br>
<br>
--<br>
Dr Olaf Beyersdorff,  Associate Professor<br>
School of Computing<br>
University of Leeds, Leeds, LS2 9JT, UK.<br>
Phone: <a href="tel:%2B44%20113%20343%208319" value="+441133438319">+44 113 343 8319</a><br>
Email: <a href="mailto:O.Beyersdorff@leeds.ac.uk">O.Beyersdorff@leeds.ac.uk</a><br>
<a href="http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff" rel="noreferrer" target="_blank">http://www.engineering.leeds.<wbr>ac.uk/people/computing/staff/<wbr>o.beyersdorff</a><br>
<br>
<br>
______________________________<wbr>_________________<br>
Proof-Complexity mailing list<br>
<a href="mailto:Proof-Complexity@math.cas.cz">Proof-Complexity@math.cas.cz</a><br>
<a href="https://list.math.cas.cz/listinfo/proof-complexity" rel="noreferrer" target="_blank">https://list.math.cas.cz/<wbr>listinfo/proof-complexity</a><br>
</div><br></div>