--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on January 2013 ---
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?