[SystemSafety] PhD position announcement: Timed contracts for Correct-by-Construction system design

[David MENTRE]

Hello,

INRIA Rennes and Mitsubishi Electric R&D Centre Europe are opening a PhD 
position titled "Timed contracts for Correct-by-Construction system design".

Position details are available here:
 
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1506_Annonce_Formal%20methods_PhD_201509_EN(1).pdf

This PhD position does not strictly address safety issues in systems but 
the envisioned framework would be used to ensure Correct-by-Construction 
real-time properties of safety critical systems.

Do not hesitate to ask questions if needed. Feel free to forward this 
position to relevant forums.

Sincerely yours,
D. Mentré