--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2015 ---
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é