Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes Location: LIMOS, Clermont-Ferrand, France Salary: 2000€ Duration: 1 year Keywords: Cryptanalysis symmetric, constraint programming, SAT solving, ILP. Starting date: As soon as possible, when we have a good candidate; at least before October 2020. Your Profile A PhD in Computer Science, Applied Mathematics, Cryptography or related field. Competitive research record in symmetric cryptography or in constraint programming. Commitment, team working and a critical mind.