Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
the interface of machine learning and biology (tools developed by the team: https://github.com/cantinilab ). The team is composed of 8 people : 3PhD students, 3 post doc, 1 research engineer and 1 assistant
-
(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
-
by the team: https://github.com/cantinilab ). The team is composed of 9 people : 4PhD students, 3 post doc, 1 research engineer and 1 assistant. The team is associated with the Institut Pasteur's