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