caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: ANTIGNAC Thibaud <>
To: "" <>
Cc: MARONEZE Andre <>,
	PREVOSTO Virgile <>
Subject: [Caml-list] Permanent position for Computer Scientist in cybersecurity verification at CEA List, France
Date: Fri, 4 Feb 2022 09:19:34 +0000	[thread overview]
Message-ID: <> (raw)

[-- Attachment #1: Type: text/plain, Size: 799 bytes --]


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:<>

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 --]

                 reply	other threads:[~2022-02-04  9:19 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).