--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] PhD position announcement: Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Construction system design



Hello,

CEA LIST and Mitsubishi Electric R&D Centre Europe are opening a fully 
funded PhD position titled "Mixing Unproved and Proved sub-systems 
through Contracts for Correct-by-Construction system design".

Position details are available here:

 
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1507_Annonce_Formal%20methods_PhD_201510_EN.pdf

As two of the four people around this PhD are part of Frama-C core 
development team, the result of this PhD will be mostly applied to 
Frama-C and implemented within the Frama-C framework.

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

Sincerely yours,
D. Mentré