Postdoctoral researcher position

The CRIL (Lens Computer Science Research Lab - UMR 8188) Lab at Université d’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.

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.