From: ANTIGNAC Thibaud <Thibaud.ANTIGNAC@cea.fr>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Cc: MARONEZE Andre <andre.maroneze@cea.fr>,
PREVOSTO Virgile <virgile.prevosto@cea.fr>
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: <B76481C5-5258-4DDD-89A5-EA9812C85AC6@cea.fr> (raw)
[-- 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 --]
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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=B76481C5-5258-4DDD-89A5-EA9812C85AC6@cea.fr \
--to=thibaud.antignac@cea.fr \
--cc=andre.maroneze@cea.fr \
--cc=caml-list@inria.fr \
--cc=virgile.prevosto@cea.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* 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