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