* [Caml-list] Job offer on formal methods (fixed term contract)
@ 2013-01-21 15:55 David MENTRE
0 siblings, 0 replies; only message in thread
From: David MENTRE @ 2013-01-21 15:55 UTC (permalink / raw)
To: David MENTRE
Cc: Coq Club, why3-club, Frama-C public discussion, hi-lite-discuss,
caml users
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é
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-01-21 15:56 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-01-21 15:55 [Caml-list] Job offer on formal methods (fixed term contract) David MENTRE
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).