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

[Pekka Orponen]

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

Subject: 	[DMANET] Postdoctoral researcher position at CRIL Lab - Artois 
University, Lens
Date: 	Thu, 30 Jun 2022 13:09:01 +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/20220702/8f993532/attachment-0001.htm