--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on March 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Open 18-month Research Engineer Position on Frama-C/E-ACSL



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 at cea.fr