Friday, September 28, 2012

[DMANET] Open Position in Formal Methods at ENSTA ParisTech

Dear all,

The departement of Computer Science and System Engineering of ENSTA ParisTech,
headed by Bruno Monsuez, is seeking candidates for one faculty position
(associate professor) in Computer Science.

The research activity of the applicant should be in adequacy with the research themes
developed in the team Safety and Dependability of Systems, headed by Michel Mauny.

The research activity is focused on the formal verification of embedded systems taking
into account heterogeneity of their components like the study of software/hardware interactions
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 modeling.
More details is given in the document at:

The application form can be downloaded at

The application form must be sent by mail to Bruno Monsuez
( before:
November 4th 2012

Best regards
A. Chapoutot

Alexandre Chapoutot -- Assistant professor
ENSTA ParisTech
Unité d'Informatique et d'Ingénierie des Systèmes
828 boulevard des maréchaux 91762 Palaiseau
Phone: +33 1 81 87 20 71

* Contributions to be spread via DMANET are submitted to
* 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.