2 audio-engineering positions at CNRS

Prehistoric Archaeologist - Field Director (M/F)

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

organisation, occupational sequence, technology, subsistence and symbolic practices during the Early Holocene in northwestern Arabia. The post will be based at Archéorient, Maison de l'Orient et de la

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

CNRS | Rennes, Bretagne | France | 3 months ago

automated reasoning tool based on a translation of verification problems into Horn clauses [5], together with a resolution procedure that is proven sound [1, 2]. While soundness is guaranteed, termination is