[TYPES/announce] Open Position in Formal Methods at ENSTA ParisTech

[Alexandre Chapoutot]

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 attached file.

The application form can be downloaded at
http://uei.ensta-paristech.fr/assets/divers/form_candid.rtf

IMPORTANT DATES
The application form must be sent by mail to Bruno Monsuez
(bruno.monsuez at ensta-paristech.fr) before:
	          November 4th 2012


Best regards
A. Chapoutot

---------
Alexandre Chapoutot -- Assistant professor
Address:
   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
Mail: alexandre.chapoutot at ensta-paristech.fr
Web: http://www.ensta.fr/~chapoutot/index.html









-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120924/683c4b0b/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: profil_surete_en_2012.pdf
Type: application/pdf
Size: 82741 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120924/683c4b0b/attachment-0001.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120924/683c4b0b/attachment-0003.html>