caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] 2 new postdoc positions on Frama-C at CEA Paris Saclay
@ 2020-04-06 16:21 Julien Signoles
  0 siblings, 0 replies; 1+ messages in thread
From: Julien Signoles @ 2020-04-06 16:21 UTC (permalink / raw)
  To: Caml List

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

Hello,

The Software Security and Reliability Lab (LSL) at CEA Paris Saclay
(France) is hiring 2 postdoc researchers who will work on Frama-C, its code
analysis framework for C programs, in the context on the recently accepted
H2020 European project Ensuresec.

The research topics are:

- Advanced Runtime Assertion Checking of C Programs:

http://julien.signoles.free.fr/positions/postdoc-ensuresec-eacsl.pdf

- Extensive Code Security Analyses for Frama-C:

http://julien.signoles.free.fr/positions/postdoc-ensuresec-security.pdf

Best regards,
Julien Signoles

-- 
Researcher-engineer                              |  Scientific advisor
CEA LIST, Software Reliability and Security Lab  |  Department of
Software and System Engineering
tel:(+33)1.69.08.00.18   Julien.Signoles@cea.fr

[-- Attachment #2: Type: text/html, Size: 1192 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 --
2020-04-06 16:21 [Caml-list] 2 new postdoc positions on Frama-C at CEA Paris Saclay Julien Signoles

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