Hello,

The Software Reliability Lab at CEA LIST (Paris Saclay, France) is hiring a 18-month research engineer to improve the Frama-C runtime verification plug-in E-ACSL.

A full description of the open position is available online:
        http://julien.signoles.free.fr/eacsl_engineer.pdf.

Feel free to contact me for additional details,
Julien Signoles
--
Researcher-engineer
CEA LIST, Software Reliability Lab
tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles@cea.fr