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

David MENTRE dmentre at linux-france.org
Fri Jul 3 09:06:18 CEST 2015


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é


More information about the systemsafety mailing list