Thursday, June 30, 2022

[DMANET] Postdoctoral researcher position at CRIL Lab - Artois University, Lens

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@cril.fr, *jabbour@cril.fr
<jabbour@cril.fr>, *sais@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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************