Dear colleagues, This may be not be off-topic for some subscribers (e.g those interested in categorical methods for CS): A permanent researcher position in critical embedded systems engineering is opened at the Toulouse premises of Onera. Please contact Virginie Wiels (research unit leader) for more details (virginie.wiels [at] onera.fr). Lots of formal methods, modelling, etc. on the meal; good experience in both theory *and* practice are needed. * Application through the web site http://www.onera.fr/recrutement/index.php * Job Researcher - Permanent position * Location Toulouse, France * Mission You are part of the ISC (Ingénierie des systèmes critiques, Critical Systems Engineering) Research Unit that is interested in how to ensure correctness of critical embedded systems with respect to various kinds of requirements (functional, safety, real time, security). Your activity belongs to the Embedded Systems Engineering domain. The goals of this domain are to define and implement approaches for the design and verification of aerospace embedded systems. You contribute to the design, modelling and formal assessment of embedded architectures, taking into account real time, safety and security constraints. The goal of this work is to propose solutions for the design of distributed architectures and their formal verification with respect to given properties. Your work consists in: - Studying new concepts of embedded distributed architectures ; - Defining languages and methodologies dedicated to the considered application domain and efficient for the targeted analyses ; - Using and developing tools to support experimentation, modelling and assessment ; - Applying the proposed approaches on industrial case studies (in the aerospace domain). This work is done in the context of collaborative projects implying industrial partners (Airbus, Thalès, Astrium, Rockwell Collins France), French and European research laboratories. * Profile Ph.D in computer science. Expertise in modelling and analysis of embedded systems is necessary. Knowledge in model driven engineering or architecture description languages is appreciated. Skills in prototyping and experimental framework development are welcome. * Onera Onera (Office National d’Etudes et Recherches Aérospatiales) is the French national aerospace research center. It is a public research establishment, with eight major facilities in France and about 2,000 employees, including 1,500 scientists, engineers and technicians. (More at: <http://www.onera.fr/english.php>) -- David Chemouil Onera - DTIM Tel./fax: +33 (0) 5 6225 2936 / 2593 <http://www.onera.fr/staff/david-chemouil> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]