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/
*
**********************************************************
Posts
