caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] 2-year Postdoc Position on Frama-C/E-ACSL
@ 2018-11-15 11:27 Julien Signoles
  0 siblings, 0 replies; 1+ messages in thread
From: Julien Signoles @ 2018-11-15 11:27 UTC (permalink / raw)
  To: Caml List

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

Hello,

The Software Reliability and Security Lab at CEA LIST (Paris Saclay,
France) is hiring a 2-year postdoctoral researcher to improve the Frama-C
runtime verification plug-in E-ACSL.

Frama-C is an opensource framework providing several analyzers for C code.
The analyzed programs can be annotated by formal specifications written in
the ACSL specification language. E-ACSL is one of the existing Frama-C
analyzers. It converts ACSL annotations into C code in order to verify
their validity at runtime, when the program is being executed.

The goal of this postdoctoral position is twofolds: on the one hand, the
postdoctoral researcher shall propose new compilation schemes to support
additional ACSL constructs; on the other hand (s)he shall adapt existing
compilation techniques or define new ones in order to optimize the
generated code for reducing the time overhead and the memory footprint of
the generated program. The work will be guided by and evaluated on case
studies providing by a few of our academic and industrial partners.

Knowledge in at least one of the following fields is required:
- OCaml programming (at least, functional programming)
- C programming
- runtime verification
- compilation
- static analysis
- semantics of programming languages
- formal specification

A full description of the position is available online:

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

Feel free to contact me for additional details,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Reliability and Security Lab
tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles@cea.fr

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 1868 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 --
2018-11-15 11:27 [Caml-list] 2-year Postdoc Position on Frama-C/E-ACSL 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