[TYPES/announce] Open PhD position in the Frama-C team, Paris-Saclay, France

[SIGNOLES Julien 215179]

Hello,

A PhD 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.
This PhD is a collaboration between CEA List and Université d'Orléans
in the context of a national project recently started. 

It aims at verifying multi-state properties at runtime. 
More details available
online: https://urldefense.com/v3/__https://frama-c.com/jobs/2025-01-20-multistate-rac.html__;!!IBzWLUs!WOHAxHCGYisC_5BmrdVAhNojm2aPGW_amFilnXzjPV1Jrcu1J65cF3V1MktXYx0EkIbtN-bACYz4ECS7QCQNXHrBnhjGfVhV71rHbgM9$ 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250422/604afabd/attachment.htm>