Dear list,

The Software Safety and Security Laboratory (LSL) of the CEA List is opening a  new permanent computer scientist position in the Frama-C team.
Frama-C (https://www.frama-c.com/) is an open-source sound static and dynamic analysis platform targeting C/C++ source code.
If you are interested in joining the development team of Eva, the Frama-C plugin based on abstract interpretation, please consider applying.
A background in abstract interpretation and OCaml development is expected.

More details can be found at this link: https://www.frama-c.com/jobs/2023-10-26-permanent-computer-scientist-abstract-interpretation.html

Feel free to forward this announce to friends or other relevant mailing lists.

Best regards,
Allan B.