<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] 2 Year Postdoc in Theoretical Computer Science
at Liverpool</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Wed, 6 Sep 2023 10:26:54 +0100</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Rahul Savani <a class="moz-txt-link-rfc2396E" href="mailto:rahul.savani@liverpool.ac.uk"><rahul.savani@liverpool.ac.uk></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
We are seeking candidates for a two-year postdoctoral research
position<br>
funded by the EPSRC project "New Techniques for Resolving Boundary
Problems<br>
in Total Search".<br>
<br>
The project is led by John Fearnley
(<a class="moz-txt-link-freetext" href="https://cgi.csc.liv.ac.uk/~john/">https://cgi.csc.liv.ac.uk/~john/</a> and<br>
Rahul Savani (<a class="moz-txt-link-freetext" href="http://www.csc.liv.ac.uk/~rahul">http://www.csc.liv.ac.uk/~rahul</a> and the position
will run<br>
for two years starting from the 1st of January 2024.<br>
<br>
The project explores new techniques for showing hardness in TFNP,
following<br>
on from the STOC 2021 best paper "The complexity of gradient
descent: CLS =<br>
PPAD ∩ PLS". The project particularly focuses on the complexity
class CLS,<br>
which contains problems from a wide variety of disciplines,
including:<br>
<br>
* Algorithmic Game Theory (eg. Network congestion games, Network<br>
coordination games, Shapley stochastic games)<br>
* Formal Verification (eg. Tarski fixed points, Contraction map
fixed<br>
points, Unique sink orientations, Simple-stochastic games)<br>
* Optimization and Machine Learning (eg. finding KKT points of<br>
polynomials, gradient descent in a neural network)<br>
<br>
An ideal candidate will have a strong research background in at
least one<br>
of the three areas listed above. That candidate will also have, or
be close<br>
to completing, a PhD in Computer Science or a related area.<br>
<br>
Informal enquiries are welcome, and should be directed to<br>
<a class="moz-txt-link-abbreviated" href="mailto:john.fearnley@liverpool.ac.uk">john.fearnley@liverpool.ac.uk</a>.<br>
<br>
The application form can be found here: <a class="moz-txt-link-freetext" href="https://bit.ly/064806">https://bit.ly/064806</a>><br>
<br>
</div>
</body>
</html>