2 computer-security-postdoctoral "https:" uni jobs at CNRS

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

CNRS | Vand uvre les Nancy, Lorraine | France | about 2 months 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

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

CNRS | Gif sur Yvette, le de France | France | about 1 month ago

21 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire des Signaux et Systèmes Research Field Engineering Computer science Mathematics Researcher Profile First Stage Researcher