* [Caml-list] New postdoc position on Frama-C at CEA List, Saclay, France
@ 2024-04-23 7:11 Julien Signoles
0 siblings, 0 replies; only message in thread
From: Julien Signoles @ 2024-04-23 7:11 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 569 bytes --]
Dear all,
The Software Safety and Security Lab at CEA List opens a new postdoc
position on E-ACSL, the runtime assertion checker of Frama-C:
https://www.frama-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html
Do not hesitate 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 EngineeringJulien.Signoles@cea.fr |
tel:(+33)1.69.08.00.18
[-- Attachment #2: Type: text/html, Size: 879 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-04-23 7:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-04-23 7:11 [Caml-list] New postdoc position on Frama-C at CEA List, 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