--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on January 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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?