IRT Saint-Exupéry and the CONVECS team of Inria and LIG are recruiting a post-doc to work on the “Evaluation and formal verification of concurrent architectures” for next-generation airplanes.
English version: http://convecs.inria.fr/jobs/2017b.html
French version: http://www.irt-saintexupery.com/job-offers/ingenieur-de-recherche-evaluation-et-verification-formelle-darchitectures-concurrentes-hf/