--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on August 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 Security Lab at CEA LIST (Paris Saclay, France) is hiring a 
18-month postdoc to improve the Frama-C runtime verification plug-in 
E-ACSL. Knowledge in at least one of the following fields is required:
- OCaml programming (at least, functional programming)
- C programming
- runtime verification
- compilation
- static analysis
- semantics of programming languages (in particular, the ISO C99 
programming language)
- formal specification

A full description of the open position is available online:
         http://julien.signoles.free.fr/eacsl_postdoc.pdf.

Feel free to contact me for additional details,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Security Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr