New postdoc position in the Frama-C team, Paris-Saclay, France

Julien Signoles <[email protected]> Tue, 22 Apr 2025 08:55:24 +0200

Newsgroups	gmane.comp.lang.caml.inria
Message-ID	<CAPczgCCspD5gM3fSaL8VJj1=rEPZvY3pEivMRfrw6hRZ47fcjw@mail.gmail.com>

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://frama-c.com/jobs/2025-04-17-e-acsl-rte-assigns.html

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

[email protected]                      |  tel:(+33)1.69.08.00.18