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

Julien Signoles <[email protected]> Thu, 16 Jan 2025 09:34:28 +0100

Newsgroups	gmane.comp.lang.caml.inria
Message-ID	<CAPczgCCNtYfWCuiEZ93Svs0VpGvAEB=W0jG=vvHX7rfUPx9iBw@mail.gmail.com>

Hello,

The Frama-C team is opening a new postdoc position on E-ACSL, the runtime
annotation checker of Frama-C.
The team is part of Software Safety and Security Lab of CEA List, located
at Paris-Saclay, France.

More details available online:
https://www.frama-c.com/jobs/2025-01-20-outline-rac.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