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