[TYPES/announce] PhD thesis position at ENSTA ParisTech: Static analysis of Hybrid Systems

[Alexandre Chapoutot]

Dear all,

A PhD thesis position is available at ENSTA ParisTech co-jointly with Univeristé Paris-Sud and CEA LIST laboratory.

Title: Static Analysis of Executable Models of Hybrid Systems
Duration: 3 years full time
Salary: 1450 Euros net per month

Best regards
A. Chapoutot

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






-------------- next part --------------
A non-text attachment was scrubbed...
Name: these-asthme-en.pdf
Type: application/pdf
Size: 128739 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120629/1ee5271a/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: these-asthme-fr.pdf
Type: application/pdf
Size: 193639 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120629/1ee5271a/attachment-0003.pdf>