Sort by
Refine Your Search
-
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
-
(EURECA) - Leader Institution: University of Rotterdam (NL) - Duration of DN: 48 months - General information about Doctoral Networks: https://www.horizon-europe.gouv.fr/les-reseaux-de-formation-doctorale-m
-
financial support. Information about the institute, its members, and salient activities may be found on its site https://poincare.univ-lorraine.fr/fr/axes . The Poincaré Archives are recognized in France and
-
ExperienceNone Research FieldPhysics » Surface physicsYears of Research ExperienceNone Additional Information Eligibility criteria http://www.cnrs.fr/comitenational/english/evaluation/CritEvalEng.htm Website