Hello,
A new 2-year postdoc position on E-ACSL, the runtime annotation checker of Frama-C, is available in the Frama-C team. The team is part of Software Safety and Security Lab of CEA List, located at Paris-Saclay, France.
It aims at verifying at runtime dependency properties that may include undefined terms.
Feel free 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