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

[SIGNOLES Julien 215179]

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.

More details available
online: https://urldefense.com/v3/__https://frama-c.com/jobs/2025-04-17-e-acsl-rte-assigns.html__;!!IBzWLUs!TryljatVxov1fYJxgxv6ecUHCWfmCYds2VcxCUKjfx-SQfcTsoIwRVYsrF00MZd1U4uQSFVzDB4duRWBowGVA_Y6qJzFFnH9XT-LOW_k$ 

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/ac58c8a7/attachment.htm>