2 security-"https:"-"https:"-"https:"-"https:"-"UCL"-"UCL" uni jobs at CNRS in France

Thesis M/F "Video content security in a deep learning coding architecture"

CNRS | Gif sur Yvette, le de France | France | 17 days ago

the competent authority of the Ministry of Higher Education, Research and Innovation (MESR). "Video content security in a deep learning coding architecture" Over the past few decades, numerous video compression

postdoc on formal verifiication of security protocols with probabilities (M/F)

CNRS | Vand uvre les Nancy, Lorraine | France | about 1 month ago

of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols