1 canada "https:" "https:" "https:" "https:" "https:" "https:" "https:" uni jobs at CNRS

Doctorant en Vérification de protocoles avec opérateurs AC à l'aide de PROVERIF. (M/F)

CNRS | Rennes, Bretagne | France | 2 months ago

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