caml-list - the Caml user's mailing list
 help / Atom feed
* [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; 1+ messages 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] 1+ messages in thread

only message in thread, back to index

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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox