coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Job offer on formal methods (fixed term contract)

From: David MENTRE <dmentre AT linux-france.org>
To: David MENTRE <dmentre AT linux-france.org>
Cc: Coq Club <coq-club AT inria.fr>, why3-club <why3-club AT lists.gforge.inria.fr>, Frama-C public discussion <frama-c-discuss AT lists.gforge.inria.fr>, "hi-lite-discuss AT lists.forge.open-do.org" <hi-lite-discuss AT lists.forge.open-do.org>, caml users <caml-list AT inria.fr>
Subject: [Coq-Club] Job offer on formal methods (fixed term contract)
Date: Mon, 21 Jan 2013 16:55:39 +0100

Hello,

My company is looking for an Engineer or PhD in formal methods to work
on railway systems. It is research activity with model and software
development and proving properties on them.

More details in French:

http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1301_Annonce_COM_Formal_Methods_MERCEFRCOM0113_FR.pdf

Feel free to forward this offer to people you know who might be interested.

Sincerely yours,
D. Mentré

[Coq-Club] Job offer on formal methods (fixed term contract), David MENTRE, 01/21/2013