--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on June 2019 ---
Hello, Thales (Meudon offices, Paris area, France) is hiring an expert R&D engineer in formal methods: https://emploi.thalesgroup.com/emploi/meudon/formal-methods-expert-engineer/27306/11575918 Knowledge of Coq and/or Frama-C is appreciated. Please contact Milan Krizenecky (Cc-ing milan.krizenecky at thalesgroup.com) for details. Best regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability and Security Lab tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr