* [Caml-list] Open 18-month Postdoc Position on Frama-C/E-ACSL
@ 2017-08-28 8:25 Julien Signoles
0 siblings, 0 replies; only message in thread
From: Julien Signoles @ 2017-08-28 8:25 UTC (permalink / raw)
To: Caml List
[-- Attachment #1: Type: text/plain, Size: 694 bytes --]
Hello,
The Software Security Lab at CEA LIST (Paris Saclay, France) is hiring a
18-month postdoc to improve the Frama-C runtime verification plug-in
E-ACSL. 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 (in particular, the ISO C99
programming language)
- formal specification
A full description of the open position is available online:
http://julien.signoles.free.fr/eacsl_postdoc.pdf
<http://julien.signoles.free.fr/eacsl_engineer.pdf>.
Feel free to contact me for additional details,
Julien Signoles
[-- Attachment #2: Type: text/html, Size: 831 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2017-08-28 8:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-08-28 8:25 [Caml-list] Open 18-month Postdoc Position on Frama-C/E-ACSL Julien Signoles
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox