Permanent computer scientist position in the Frama-C team at CEA List

BLANCHARD Allan <[email protected]>
Newsgroups gmane.comp.lang.caml.inria
Message-ID <[email protected]> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.