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 Engineering
Julien.Signoles@cea.fr                      |  tel:(+33)1.69.08.00.18