[TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France

[Julien Signoles]

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://urldefense.com/v3/__https://www.frama-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html__;!!IBzWLUs!TeHWYDVvHdKugGJm9oQccIGTTY5q-r4P-dqsEKR7qfi6aBpuKXR4zgQ8x8vjD7wIrYHLZufhBPJOLaxdRfdffyFEewFKRREDAcD5uoxX$ 

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