--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on June 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Job] Thales (France) is hiring an expert engineer in formal methods



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