Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] 2 new postdoc positions on Frama-C at CEA Paris Saclay

  • Subject: [Frama-c-discuss] 2 new postdoc positions on Frama-C at CEA Paris Saclay
  • From: julien.signoles at cea.fr (Julien Signoles)
  • Date: Mon, 6 Apr 2020 18:20:32 +0200
Hello,

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.

The research topics are:

- Advanced Runtime Assertion Checking of C Programs:
http://julien.signoles.free.fr/positions/postdoc-ensuresec-eacsl.pdf

- Extensive Code Security Analyses for Frama-C:
http://julien.signoles.free.fr/positions/postdoc-ensuresec-security.pdf

Best regards,
Julien Signoles

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