coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: David MENTRE <dmentre AT linux-france.org>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD position announcement: Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Construction system design
Date: Fri, 14 Aug 2015 11:42:28 +0200

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

This PhD position is not strictly related to Coq, but it would be interesting to formalize the theoretical part in Coq.

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

Sincerely yours,
D. Mentré

[Coq-Club] PhD position announcement: Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Construction system design, David MENTRE, 08/14/2015