2 automatic-"https:" uni jobs at CNRS

Thèse en informatique M/F : Development of a multi-fidelity and multi-model approach for headwater catchments

CNRS | Rennes, Bretagne | France | 3 days ago

, the environment and ecology, transportation, robotics, energy, culture, and artificial intelligence. Overview of the CNRS as an employer: https://www.cnrs.fr/fr/le-cnrs Presentation of IRISA as the host laboratory

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

CNRS | Vand uvre les Nancy, Lorraine | France | about 2 months ago

for automatically analyzing properties of probabilistic security protocols. One approach will be to identify sufficient conditions that can be proven using existing tools such as ProVerif. Research meetings Drafting