Post-doc Offer : Constraint Programming and Symmetric Cryptography