* [Caml-list] New postdoc position in the Frama-C team, Paris-Saclay, France
@ 2025-04-22 6:55 Julien Signoles
0 siblings, 0 replies; 2+ messages in thread
From: Julien Signoles @ 2025-04-22 6:55 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 712 bytes --]
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
Julien.Signoles@cea.fr | tel:(+33)1.69.08.00.18
[-- Attachment #2: Type: text/html, Size: 2626 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] New postdoc position in the Frama-C team, Paris-Saclay, France
@ 2025-01-16 8:34 Julien Signoles
0 siblings, 0 replies; 2+ messages in thread
From: Julien Signoles @ 2025-01-16 8:34 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 608 bytes --]
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
Julien.Signoles@cea.fr | tel:(+33)1.69.08.00.18
[-- Attachment #2: Type: text/html, Size: 5075 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-04-22 11:49 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-04-22 6:55 [Caml-list] New postdoc position in the Frama-C team, Paris-Saclay, France Julien Signoles
-- strict thread matches above, loose matches on Subject: below --
2025-01-16 8:34 Julien Signoles
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox