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
<http://julien.signoles.free.fr/eacsl_engineer.pdf>.

Feel free to contact me for additional details,
Julien Signoles