[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected] | tel:(+33)1.69.08.00.18
