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

Julien Signoles julien.signoles at cea.fr
Tue Feb 1 03:46:32 EST 2022

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

- Control Flow Integrity for Remote Attestation

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)

More information about the Types-announce mailing list