-
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
-
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
-
(Europe/Brussels) Country France Type of Contract Permanent Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Reference Number 2026-3987 Is the
Enter an email to receive alerts for computer-security-postdoctoral "https:" positions