From: Laure Petrucci Subject: Post-doc position at LSV, ENS de Cachan, France To: designCPN@daimi.au.dk Date: Thu, 20 Jul 2000 14:54:17 +0200 Reply-To: Laure Petrucci Dear colleague, You will find below the announcement for a post-doc position at LSV. This announcement is also available at the following URL: http://www.lsv.ens-cachan.fr/annonce-postdoc-car.html -- -------------------------------------------------------------------- Laure Petrucci-Dauchy Laboratoire Spécification et Vérification CNRS, UMR 8643 Ecole Normale Supérieure de Cachan Phone: +33 (1) 47 40 55 69 61, avenue du President Wilson Telefax: +33 (1) 47 40 24 64 F-94235 CACHAN Cedex E-mail: petrucci@lsv.ens-cachan.fr http://www.lsv.ens-cachan.fr/~petrucci -------------------------------------------------------------------- Post-Doc Position ENS de Cachan LSV, UMR 8643 - CNRS 61 av. President Wilson F-94235 CACHAN Cedex France The french Ecole Normale Supérieure de Cachan (one of the most famous ``University" in France) offers a post-doc position in its computer science research group LSV - Laboratoire Spécification et Vérification. Our laboratory, also affiliated to CNRS, is specialised in the problems of validation and verification of software, in a broad sense, i.e. including control/command systems, timed systems, telecommunication protocols, programs... It develops a fundamental research corresponding to the highest international quality criteria together with an active policy of industrial collaborations. Eligibility: ----------- The candidates have to satisfy the following requirements : - to have a PhD - to be ready for the position between october 2000 and january 2001. Conditions: ---------- This post-doc position is for 12 months. It includes a net salary of 15,000 FF per month and an health insurance. Location: -------- Cachan is in the very close southern suburb of Paris, reachable in less of 15' from the center of Paris by public transportation (see http://www.lsv.ens-cachan.fr/info-acces-en.html). We have a verdant and nice campus with housing facilities. Some travels around Paris will be necessary; a personnal car could simplify local travels. Scientific Programme: -------------------- The scientific activities of the candidate have obviously to correspond to research topics of LSV. We will consider in priority candidates willing to participate to the following programme. The LSV has to model and analyse car industry electronic embedded systems. The introduction of multiplexing in the automobile, to reduce the cost of electronic by sharing sensors informations, disrupts the traditionnal processes for the specification, implementation and validation. Sharing informations also becomes necessary with the creation of transversal functions distributed on different traditionnal systems. For instance, an electronic function for stabilising a car needs the cooperation of the injection system, the brake system and a component which measures the wheel angle. Other problems may come from the multiplexing because a crash must be now repaired on a distributed system. Therefore, the post-doc project should answer how the techniques of model-checking may allow to solve security problems and how they can help to validate distributed embedded systems: 1. Specification of a formalism allowing to associate a functional automaton to each function capturing the normal behaviour (contact, running motor, reset) and the corrupted behaviour (errors, bus cuts, sensors crash). 2. Use of the model-checking techniques to validate the good interaction between the functional automata of a specification service, and also, to verify the good interaction between the different specifications of services. Contact: ------- More information about Ecole Normale Supérieure de Cachan, LSV and the activities of its members are available through the web pages (see http://www.lsv.ens-cachan.fr). If you want to candidate for this position, please send a curriculum vitae and the names and e-mail addresses of 2 referees as soon as possible and imperatively before September 1st, 2000, to: car@lsv.ens-cachan.fr --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]