Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Job offer on formal methods (fixed term contract)

  • Subject: [Frama-c-discuss] Job offer on formal methods (fixed term contract)
  • From: dmentre at linux-france.org (David MENTRE)
  • 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?