[Job-offers-cs] Postdoctoral researcher position at CRIL Lab - Artois University, Lens, France

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] Postdoctoral researcher position at CRIL Lab - Artois 
University, Lens, France
Date: 	Mon, 29 Aug 2022 14:17:34 +0200
From: 	Lakhdar Sais <sais at cril.fr>
To: 	dmanet at zpr.uni-koeln.de



Dear colleagues,

The CRIL (Lens Computer Science Research Lab - UMR 8188) Lab at University
of Artois (Lens) is hiring a one-year postdoctoral researcher to work on
the POSTCRYPTUM project, funded by the Agence Nationale de Recherche (ANR)
and AID/DGA. This is a three-years project focused
on algebraic cryptanalysis of public key cryptosystems, focused mainly on
post-quantum schemes.

For more details on the project, please check here:

https://home.mis.u-picardie.fr/~ionica/postcryptum/Welcome.html>

The ideal candidate should hold a Phd degree in Computer Science, Symbolic
AI, propositional satisfiability (SAT) and beyond. Skills in one or
several of the following topics will be appreciated:

· SAT solving,
· Problem encodings and reformulation,
· Cryptography,
· Pattern mining and machine learning.


The starting date is flexible, but preferably no later than December 2022.

For more information, please contact us (audemard at cril.fr, *jabbour at cril.fr
<jabbour at cril.fr>, *sais at cril.fr*).*


Best regards,

Gilles Audemard, Said Jabbour & Lakhdar Saïs
Pr. Lakhdar Saïs
---
CRIL <http://www.cril.fr/ - CNRS <http://www.cnrs.fr/ins2i/ UMR 8188
Université d'Artois, Lens
http://www.cril.fr/~sais>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20220914/afabb74d/attachment.htm