* [Caml-list] New PhD position in the Frama-C team, Paris-Saclay, France
@ 2025-01-16 8:34 Julien Signoles
0 siblings, 0 replies; only message in thread
From: Julien Signoles @ 2025-01-16 8:34 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 607 bytes --]
Hello,
The Frama-C team is opening a new PhD 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-multistate-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: 5080 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-01-16 8:35 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-16 8:34 [Caml-list] New PhD position in the Frama-C team, Paris-Saclay, France Julien Signoles
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox