New postdoc position on Frama-C at CEA List, Saclay, France

Julien Signoles <[email protected]>
Newsgroups gmane.comp.lang.caml.inria
Message-ID <CAPczgCBZBRyODzhT5pu0FNzWq8gUc+HOboR43oT-S7ETi4pv8Q@mail.gmail.com> 
Dear all,

The Software Safety and Security Lab at CEA List opens a new postdoc
position on E-ACSL, the runtime assertion checker of Frama-C:


https://www.frama-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html

Do not hesitate to contact me for any question!

Best regards,
Julien Signoles

-- 
Research Director                           |  Scientific advisor
CEA List, Software Safety and Security Lab  |  Department of Software
and System [email protected]                      |
tel:(+33)1.69.08.00.18
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.