coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position announcement: Timed 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: Timed contracts for Correct-by-Construction system design
Date: Fri, 3 Jul 2015 08:56:06 +0200

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 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: Timed contracts for Correct-by-Construction system design, David MENTRE, 07/03/2015