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
-
and full social security included - Interdisciplinary team in a renowned institute - High level scientific environment of Montpellier with many opportunities for collaborations - Integration in a Marie
-
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
-
Associate Research Professors of which as a priority: - 1 scientist with a research program devoted to "Image processing and applications", - 1 scientist with a research program devoted to “Material security