<!DOCTYPE html><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] Postdoc in Logic, Combinatorics and Complexity
at Sapienza University in Rome.</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Fri, 13 Oct 2023 06:56:14 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Nicola Galesi via dmanet <a class="moz-txt-link-rfc2396E" href="mailto:dmanet@zpr.uni-koeln.de"><dmanet@zpr.uni-koeln.de></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Reply-To:
</th>
<td>Nicola Galesi <a class="moz-txt-link-rfc2396E" href="mailto:nicola.galesi@uniroma1.it"><nicola.galesi@uniroma1.it></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>
Expression of interest for a postdoc position in Logic,
Combinatorics<br>
and Complexity at Sapienza University in Rome.<br>
<br>
Under the National PRIN project "Logical Methods in Combinatorics"<br>
we are looking for an excellent junior researcher with a recent
PhD<br>
in Computer Science, Mathematics or Logic whose research interests<br>
can complement and interact with the research profile of the group
of<br>
the project which is made by Nicola Galesi, Lorenzo Carlucci e
Massimo<br>
Lauria.<br>
<br>
Research interests include (but are not limited to) Proof
Complexity,<br>
theoretical aspects of SAT-solving, Reverse Mathematics,<br>
Computability.<br>
<br>
The position will be available for one year and half starting<br>
presumably in January 2024. The postdoc (In Italy called "Assegno
di<br>
ricerca") will be formally based at the Department of Computer,<br>
Control and Management Engineering (DIAG) of Sapienza (N. Galesi),<br>
but in collaboration with the Department of Mathematics (L.
Carlucci )<br>
and that of Statistics (M. Lauria).<br>
<br>
Sapienza is the major Italian university and one of the biggest<br>
all over Europe. For research in Theory of Computing Sapienza is
the<br>
first Italian university according to CS rankings<br>
(<a class="moz-txt-link-freetext" href="https://csrankings.org/">https://csrankings.org/</a> and the Department of Mathematics
received<br>
the Italian award of "Dipartimento di Eccellenza" in 2023-2027.
Rome<br>
is the capital of Italy and a vibrant cultural city well connected<br>
with the rest of the world and with a reasonable cost of living.<br>
<br>
If interested please send as soon as possible a detailed CV to<br>
<a class="moz-txt-link-abbreviated" href="mailto:nicola.galesi@uniroma1.it">nicola.galesi@uniroma1.it</a> with SUBJECT: LCC-PD<br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-forward-container"><br>
</div>
<div class="moz-signature">-- <br>
Join <a href="https://www.informatics-europe.org/ecss/home.html">ECSS
2023</a> in Edinburgh, 23-25 October!
<a href="https://www.informatics-europe.org/ecss/registration/how-to-register.html">Registration</a>
open until Oct 16!
<br>
<br>
<a href="https://www.informatics-europe.org/ecss/home.html">
<img src="https://www.informatics-europe.org/images/news/ECSS2023_RegisterNow.png">
</a></div>
</body>
</html>