The Software Security and Reliability Lab (LSL) at CEA Paris Saclay
(France) is hiring 2 postdoc researchers who will work on Frama-C, its
code analysis framework for C programs, in the context on the recently
accepted H2020 European project Ensuresec.
--
Researcher-engineer | Scientific advisor
CEA LIST, Software Reliability and Security Lab | Department of Software and System Engineering
tel:(+33)1.69.08.00.18 Julien.Signoles@cea.fr