-------------------------------------------------------------------------------------
Open academic position at ENSTA ParisTech (Paris, France)
-------------------------------------------------------------------------------------
The departement of Electronic and Computer Science of ENSTA ParisTech
is seeking candidates for one faculty position (associate professor)
in System Safety and Reliability.
More details are given at:
http://uei.ensta.fr/fiche_ens_cherch_Surete_en.pdf
The departement of Electronic and Computer Science of ENSTA ParisTech
is developping methods and tools in the area of System Safety and
Reliability.
The research activity is focused on the formal verification of
embedded systems taking into account heterogeneity of them like
software/hardware interaction or software/physical environment
interactions. The applicants must have a PhD degree in Computer
Science and they must have some knowledge but not limited in abstract
interpretation, model checking, test generation, type systems, system
modelling.
The application form can be downloaded at
http://uei.ensta.fr/assets/divers/form_candid.rtf
IMPORTANT DATES
The application form must be sent by mail to Bruno Monsuer
(bruno.monsuez@ensta-paristech.fr) before:
May 1st 2011
For further information contact Bruno Monsuez, head of
the departement of Electronic and Computer Science of ENSTA ParisTech:
bruno.monsuez@ensta-paristech.fr
Best regards
---------
Alexandre Chapoutot -- Associate Professor
Address:
ENSTA ParisTech
Unité d'Electronique et d'Informatique
32 boulevard Victor 75739 Paris cedex 15
Phone: +33 1 45 52 49 62
Fax: +33 1 45 52 83 27
Mail: alexandre.chapoutot@ensta-paristech.fr
Web: http://www.ensta.fr/~chapoutot/index.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
