4 verification "https:" positions at CNRS

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

CNRS | Vand uvre les Nancy, Lorraine | France | 4 days ago

verification and logic. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UMR7503-VERCOR-005/Default.aspx Work Location(s) Number of offers available1Company/InstituteLaboratoire lorrain de

Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | about 2 months ago

sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings

Researcher on mechanical behavior at very low temperatures (M/F)

CNRS | Marseille 13, Provence Alpes Cote d Azur | France | 30 days ago

(with applications in fusion). Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR7031-SANGUE-058/Candidater.aspx Requirements Research FieldEngineeringEducation LevelPhD or equivalent

Archaeologist and historian (M/F)

CNRS | Lyon 07, Rhone Alpes | France | 3 months ago

), and contributing to the verification, description and updating of inventories held in museums; - Integrating all gathered data into the project's digital databases; - Providing scientific support for