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

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. » IN SUMMARY, WHAT DO WE OFFER YOU? 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.   WHY JOIN US? 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.   WHAT DO WE EXPECT FROM YOU? 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 #CEA-List #LI-SDL

Présentation de l’institut : 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.

Profil du candidat : DO YOU STILL HAVE A DOUBT? 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 REQUIREMENTS: 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.