Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Engineer/researcher in cybersecurity verification H/F


Détail de l'offre

Informations générales

Entité de rattachement

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.

Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).

Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.  

Référence

2021-17946  

Description de la Direction

Au sein de CEA Tech, le pôle « recherche technologique » du CEA, l'Institut List dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante. Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et améliorer leur compétitivité.

Description de l'unité

At the heart of the Paris-Saclay campus, CEA List's Software Safety and Security Laboratory develops analysis tools to verify and enforce sensitive properties of software. Our goal is to provide trust in mission-critical and sensitive systems. We are open-source believers and we take pride in seeing our science-fueled tools used for industry-grade applications.

Description du poste

Domaine

Mathématiques, information  scientifique, logiciel

Contrat

CDI

Intitulé de l'offre

Engineer/researcher in cybersecurity verification H/F

Statut du poste

Cadre

Description de l'offre

We are looking for an engineer/researcher to join our Frama-C team. Frama-C is a sound static and dynamic analysis platform targeting C/C++/JavaCard source code. It relies on advanced techniques such as abstract interpretation and theorem proving. The platform has been used in academia and the industry to verify the safety and security of control systems and communication protocols, to prevent various CWE occurrences, and to prove functional properties on small and large codebases. Some of those results are displayed in OSCS, an open-source case study repository we maintain.

The main goal of this position is to develop and extend the applicability of Frama-C for cybersecurity purposes. The platform is used by developers, auditors, and evaluators to validate security properties and we want to provide them with beyond-state-of-the-art methods, techniques, and tools to support their mission. This will be achieved by defining which security properties to target, developing the platform to make their verification possible, and providing relevant proof artefacts.

Responsibilities

  • Develop new features and improvements for Frama-C
  • Run case studies for partners and OSCS
  • Interact with practitioners, prescribers, and the open-source community
  • Contribute to the dissemination of the team results in top scientific and technical venues
  • Contribute to the development of the team

 

Profil du candidat

PhD or more than three years of experience in a research-intensive team
• Top scientific/technical publications or significant software developments
• Ability to develop in OCaml or functional languages
• Practice of software cybersecurity
• Knowledge of formal methods
• Knowledge of the C language and ability to quickly grasp new ones

Localisation du poste

Site

Saclay

Localisation du poste

France

Ville

palaiseau

Demandeur

Disponibilité du poste

01/12/2021