Moteur de recherche d'offres d'emploi CEA

Engineer-Researcher in formal methods and source code analysis - CDI - Paris-Saclay F/H

Détail de l'offre

Informations générales

Entité de rattachement

Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.

Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.

Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.

Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :

• La conscience des responsabilités
• La coopération
• La curiosité



Description de la Direction

CEA-List is a specialist in smart digital systems. We develop innovative, competitiveness-boosting tech-driven solutions - protected by a broad portfolio of patents - and transfer them to our R&D partners.
We work with over 200 companies every year, with small and mid-sized businesses accounting for half our partnerships. We also run open innovation platforms to help our partners get their products to market quickly and effectively, and are very active internationally through our partnerships with academic research labs around the globe and our engagement in multi-partner European projects.

Description de l'unité

In the Software and Systems Engineering Department (Département Ingénierie Logiciels et Systèmes – DILS), the Software Safety and Security Laboratory (Sûreté et Sécurité des Logiciels - LSL) helps developers and validation experts ship high-confidence software and systems. With everyday objects getting more and more complex, we have built a reputation for efficiently applying formal reasoning techniques to establish their trustworthiness. We are open-source believers, and we take pride in seeing our science-fueled tools used for industry-grade applications.

Teams at LSL are researching the best possible means to conduct formal verification. We design tools such as Binsec or Frama-C, that ensure production-level systems can comply with the highest safety and cybersecurity expectations. And in doing so, we get to interact with the most creative people in academia and the industry.

Our organizational structure is simple: those who pioneer new concepts are the ones who get to lead their implementation. Your work will have a direct and visible impact on the state of software verification.

Description du poste


Systèmes d'information



Intitulé de l'offre

Engineer-Researcher in formal methods and source code analysis - CDI - Paris-Saclay F/H

Statut du poste


Description de l'offre

“Join the CEA to give meaning to your activity, lead and support national and international R&D projects, cultivate and bring to life your spirit of curiosity. »


The CEA is looking for Engineer-Researcher in formal methods and source code analysis for the CEA/DRT (Directorate of Technological Research). This fixed-term executive position is based on the Nano-Innov site in Paris-Saclay, Essonne (91).

This is a position to be filled as soon as possible.



Our team specializes in semantics analysis of source code for safety and security.

Frama-C is an open-source formal analysis platform for C, C++ or JavaCard. This platform is based on advanced analysis techniques such as abstract interpretation or deductive verification. It is used in the academic world but also in industry, whether for operational safety or cybersecurity purposes, to prevent different CWEs or to prove functional or security properties on codes of various sizes.



We need you to help us develop Eva, the Frama-C’s abstract interpretation plug-in, both by improving current analyses and by designing new approaches. You will contribute to growing the community of users, handling feedback and helping real people solve real problems.

You will take an active role in research and development activities and industrial partnerships, alongside other members of the laboratory. This can include writing proposals, managing projects, writing and reviewing code, publishing papers, as well as attending scientific and technical events worldwide.


You will be required to:  

  • active participation in the development of Frama-C/Eva and other components of Frama-C

  • validate development through internal use-cases or our industrial partners use-cases

  • interact with users and the open-source community

  • contribute to the communication of the scientific and technical results of the team


#Cybersecurity  #NumericalSimulation



Profil du candidat


The sidelines of your main mission may interest you:

  • A cutting-edge research ecosystem, unique in its kind and dedicated to themes of high societal importance, which gives meaning to your mission
  • Training to strengthen your skills, acquire new ones and boost your mission
  • A work/life balance recognized by our employees
  • The possibility of teleworking to balance transport times and contribute to your quality of life
  • A CE rich in benefits and social, cultural and sporting activities
  • A workplace in the heart of a dynamic plateau, surrounded by schools and tech companies
  • A subsidized company restaurant nearby
  • A company savings plan with employer contribution
  • Public transport costs covered at 75%
  • Dedicated shuttles from Paris



  • Background in abstract interpretation and theory of programming languages

  • Hands-on experience with significant OCaml developments - other languages are fine too, but you’ll need to convince us you can adapt in a snap

  • Self-organized, with an ability to prioritize effectively

  • Team-minded - you know when to let someone else take the lead.


Does this tempt you? Apply, this position is for you!

In accordance with the commitments made by the CEA in favor of the integration of people with disabilities, this job is open to everyone.

Localisation du poste



Localisation du poste

France, Ile-de-France, Essonne (91)




Disponibilité du poste