[TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France

[Julien Signoles]

Dear all,

The Software Safety and Security Lab at CEA LIST, Université 
Paris-Saclay, France has 2 open postdoc positions in the area of runtime 
verification for code safety and security:

- Designing Compilation Techniques for Improving Efficiency of E-ACSL, a 
Runtime Assertion Checker for C Programs
https://urldefense.com/v3/__http://julien-signoles.fr/positions/postdoc-eacsl.pdf__;!!IBzWLUs!Huy_IUWSONYnwldsbG_YJfsmLHiqVh3kTxPbcR-BK9bISdfcMmFrgDii3SqZD2vRtS0zMsSsD3is-A$ 

- Control Flow Integrity for Remote Attestation
https://urldefense.com/v3/__http://julien-signoles.fr/positions/postdoc-cfi.pdf__;!!IBzWLUs!Huy_IUWSONYnwldsbG_YJfsmLHiqVh3kTxPbcR-BK9bISdfcMmFrgDii3SqZD2vRtS0zMsSM4eD4KA$ 

The postdoc researchers will:
- solve challenging research problems;
- implement their results in Frama-C, an industrial-strength open-source 
framework for analyses of C code;
- evaluate their solutions on concrete benchmarks or/and use cases;
- publish their results in international conferences and journals.

Strong knowledge in at least one of the following areas is welcome:
- programming
     * OCaml and C
     * formal semantics
- formal verification
     * runtime verification, static analysis, formal specification 
languages, ...
- compilation
     * code generation, program transformation, type system, ...

Interested applicants should send a CV and a motivation letter to Julien 
Signoles (julien dot signoles at cea dot fr).

Best regards,
Julien Signoles

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