* [Caml-list] Permanent position for Computer Scientist in cybersecurity verification at CEA List, France
@ 2022-02-04 9:19 ANTIGNAC Thibaud
0 siblings, 0 replies; only message in thread
From: ANTIGNAC Thibaud @ 2022-02-04 9:19 UTC (permalink / raw)
To: caml-list; +Cc: MARONEZE Andre, PREVOSTO Virgile
[-- Attachment #1: Type: text/plain, Size: 799 bytes --]
Hello,
We would like to share with you an exciting opportunity to join the Frama-C team at CEA List (a French public research institute). We are opening a permanent computer scientist position to work on formal verification of cybersecurity properties. More details about the position and the qualifications expected are available here: https://frama-c.com/jobs/2022-02-01-permanent-computer-scientist-cyber-security-verification.html<https://frama-c.com/jobs/2021-07-08-permanent-computer-scientist-cyber-security-verification.html>
Please do not hesitate to reach out or to share with potentially interested people!
(Sorry in case you see this message multiple times.)
Best regards,
--
Thibaud Antignac
Head of Laboratory
Software Safety and Security Laboratory
CEA List
[-- Attachment #2: Type: text/html, Size: 5690 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-02-04 9:19 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-04 9:19 [Caml-list] Permanent position for Computer Scientist in cybersecurity verification at CEA List, France ANTIGNAC Thibaud
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).