* [Caml-list] PhD position announcement
@ 2015-07-20 14:14 Benoit Boyer
0 siblings, 0 replies; only message in thread
From: Benoit Boyer @ 2015-07-20 14:14 UTC (permalink / raw)
To: coq-club-request, caml-list
CEA LIST and Mitsubishi Electric R&D Centre Europe opened a PhD position entitled
"Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Construction system design"
Position description and more details are available at
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1507_Annonce_Formal%20methods_PhD_201510_EN.pdf
Do not hesitate to ask questions!
Sincerely yours,
Benoît Boyer.
--
Benoît Boyer, PhD
Research engineer, Formal Methods and tools
MITSUBISHI ELECTRIC R&D Centre Europe (MERCE)
Phone: +33 2 23 45 58 27 / Fax: +33 2 23 45 58 59
http://www.fr.mitsubishielectric-rce.eu
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-07-20 14:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-20 14:14 [Caml-list] PhD position announcement Benoit Boyer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).