Formal cryptographic security proofs in a quantum world

We are looking for a PhD student at the University Grenoble Alpes in Grenoble, France. The topic is formal security proofs in quantum cryptography. For details, please see the pdf that can be found when following the link under "employer web page". If you are interested, please apply as soon as possible. Any applications or questions should be addressed to Mnacho Echenim: mnacho.echenim@grenoble-inp.fr.