caml-list - the Caml user's mailing list
 help / color / 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; only message in thread
From: Julien Signoles @ 2020-04-06 16:21 UTC (permalink / raw)
  To: Caml List

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


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:

- Extensive Code Security Analyses for Frama-C:

Best regards,
Julien Signoles

Researcher-engineer                              |  Scientific advisor
CEA LIST, Software Reliability and Security Lab  |  Department of
Software and System Engineering

[-- Attachment #2: Type: text/html, Size: 1192 bytes --]

^ permalink raw reply	[flat|nested] only message 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
	git clone --mirror

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone