<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"><div dir="ltr">Camilo Thorne</div><div dir="ltr"><br></div><div dir="ltr">Mannheim, Germany</div><div dir="ltr"><br></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></div>
<br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Jakob Nordström</b> <span dir="ltr"><<a href="mailto:jakobn@kth.se">jakobn@kth.se</a>></span><br>Date: Thu, Dec 15, 2016 at 3:37 PM<br>Subject: [Proof Complexity] Postdoc and PhD positions in computational complexity at KTH Royal Institute of Technology<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>Dear colleagues,<br>
<br>
We would be very grateful for your assistance in spreading the information that the Theory Group at KTH Royal Institute of Technology is looking for up to four postdocs and four PhD students in computational complexity (including proof complexity).<br>
<br>
The positions are within a research project led by Johan Hastad, Per Austrin, and Jakob Nordstrom focusing on questions at the intersection of approximation algorithms, subexponential algorithms, and proof complexity. Examples of topics of particular interest are the use of linear and semidefinite programming to solve hard combinatorial problems, or of proof complexity to prove that the problems are beyond the reach of such methods.<br>
<br>
In addition to the PIs, the research project is planned to involve a total of 4-5 postdocs and 5-7 PhD students. Thus, this will be a unique opportunity to explore new connections between different subareas of complexity theory within a vibrant and growing research environment.<br>
<br>
The application deadline is January 15, 2017. See <a href="http://apc.csc.kth.se/D-2016-0871-Eng.php" rel="noreferrer" target="_blank">http://apc.csc.kth.se/D-2016-<wbr>0871-Eng.php</a> and <a href="http://apc.csc.kth.se/D-2016-0832-Eng.php" rel="noreferrer" target="_blank">http://apc.csc.kth.se/D-2016-<wbr>0832-Eng.php</a>, respectively, for full announcements with more information and instructions how to apply. Informal enquiries are welcome and may be sent to <a href="mailto:apc@csc.kth.se">apc@csc.kth.se</a> .<br>
<br>
With best regards,<br>
Jakob Nordstrom<br>
<br>
Jakob Nordström, Associate Professor<br>
KTH Royal Institute of Technology<br>
Phone: <a href="tel:%2B46%208%20790%2069%2019" value="+4687906919">+46 8 790 69 19</a> (office), <a href="tel:%2B46%2070%20742%2021%2098" value="+46707422198">+46 70 742 21 98</a> (cell)<br>
<a href="http://www.csc.kth.se/~jakobn/" rel="noreferrer" target="_blank">http://www.csc.kth.se/~jakobn/</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>
<br></div><br></div>