<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] Postdoctoral researcher position at CRIL Lab -
Artois University, Lens, France</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Mon, 29 Aug 2022 14:17:34 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>Lakhdar Sais <a class="moz-txt-link-rfc2396E" href="mailto:sais@cril.fr"><sais@cril.fr></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>
Dear colleagues,<br>
<br>
The CRIL (Lens Computer Science Research Lab - UMR 8188) Lab at
University<br>
of Artois (Lens) is hiring a one-year postdoctoral researcher to
work on<br>
the POSTCRYPTUM project, funded by the Agence Nationale de
Recherche (ANR)<br>
and AID/DGA. This is a three-years project focused<br>
on algebraic cryptanalysis of public key cryptosystems, focused
mainly on<br>
post-quantum schemes.<br>
<br>
For more details on the project, please check here:<br>
<br>
<a class="moz-txt-link-freetext" href="https://home.mis.u-picardie.fr/~ionica/postcryptum/Welcome.html">https://home.mis.u-picardie.fr/~ionica/postcryptum/Welcome.html</a>><br>
<br>
</div>
<div class="moz-forward-container">The ideal candidate should hold a
Phd degree in Computer Science, Symbolic<br>
AI, propositional satisfiability (SAT) and beyond. Skills in one
or<br>
several of the following topics will be appreciated:<br>
<br>
· SAT solving,<br>
· Problem encodings and reformulation,<br>
· Cryptography,<br>
· Pattern mining and machine learning.<br>
<br>
<br>
The starting date is flexible, but preferably no later than
December 2022.<br>
<br>
For more information, please contact us (<a class="moz-txt-link-abbreviated" href="mailto:audemard@cril.fr">audemard@cril.fr</a>,
*jabbour@cril.fr<br>
<a class="moz-txt-link-rfc2396E" href="mailto:jabbour@cril.fr"><jabbour@cril.fr></a>, *sais@cril.fr*).*<br>
<br>
<br>
Best regards,<br>
<br>
Gilles Audemard, Said Jabbour & Lakhdar Saïs<br>
Pr. Lakhdar Saïs<br>
---<br>
CRIL <<a class="moz-txt-link-freetext" href="http://www.cril.fr/">http://www.cril.fr/</a> - CNRS <<a class="moz-txt-link-freetext" href="http://www.cnrs.fr/ins2i/">http://www.cnrs.fr/ins2i/</a>
UMR 8188<br>
Université d'Artois, Lens<br>
<a class="moz-txt-link-freetext" href="http://www.cril.fr/~sais">http://www.cril.fr/~sais</a>><br>
<br>
</div>
</body>
</html>