Emplois actuels liés à Large language models for automatic bug finding in source code analysis H/F - Grenoble, Auvergne-Rhône-Alpes - CEA

  • AI Industry Research Consultant

    il y a 1 semaine

    Grenoble, Auvergne-Rhône-Alpes, France Schneider Electric Temps plein

    Schneider Electric's purpose is to empower all to make the most of our energy and resources, bridging progress and sustainability for all. At Schneider, we call this Life Is On.We are driving digital transformation by integrating the most advanced energy and automation technologies. We connect products, control platforms, software and services throughout...

  • Postdoctoral researcher or engineer in organoid development H/F H/F

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • Research engineer 6G network orchestration H/F

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • Research engineer 6G network orchestration H/F

    il y a 2 semaines

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • CDI-Optical Expert for CMOS imagers H/F

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • POSTDOC - Simulation numérique de l'impression 3D de composants bi-métalliques H/F

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • Stage - Modélisation multi-échelle du bruit de charge dans les dispositifs à qubits de spin H/F

    il y a 2 semaines

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • Développeur Fullstack

    il y a 6 jours

    Grenoble, Auvergne-Rhône-Alpes, France Lyonbiopôle Auvergne-Rhône-Alpes Temps plein

    Le posteDéveloppeur FullstackVous souhaitez contribuer à la transformation du diagnostic médical grâce à l'intelligence artificielle ? ChezGeodAIsics, vous aurez un impact direct sur le parcours de soin des patients en intégrant une équipe d'experts passionnés.Qui sommes-nous ?GeodAIsics développe dessolutions d'IA de pointe pour l'aide à la...

  • Cdd - Ingenieur Chercheur En Modelisation Et Evaluation De Procedes H/F

    il y a 2 semaines

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    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...

  • Responsable Qualité projet

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France GE Vernova Temps plein

    Job Description SummaryGE Hydro représente plus de 25 % des installations mondiales de turbines et de générateurs hydrauliques avec 3 500 employés dans le monde. Notre portefeuille de solutions techniques permettant la production d'électricité hydraulique comprend la gamme la plus large possible de solutions et de services hydrauliques : de...

Large language models for automatic bug finding in source code analysis H/F

il y a 2 heures

Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

Position description
Category
Mathematics, information, scientific, software

Contract
Internship

Job title
Large language models for automatic bug finding in source code analysis H/F

Subject
JOIN US, TO DO WHAT?

Contribute to technological innovation for clean and safe energy, health and well-being, sustainable transportation, information and communications, space exploration, safety and security: that is the mission of CEA - Leti.

In the context of an ITSEF, the security evaluation of a software component usually requires a source code review (audit) performed by an evaluator who needs to be assisted by static analysis tools that can be configured and customized to help checking security requirements. The code analysis methodology applied at Leti ITSEF mainly consists in the following 2 operations: (1) extract a piece of source code to verify a particular property, (2) try to automatically prove the property, and in case of unknown status (the proof failed) search path conditions to violate the property. Such violations may reveal vulnerabilities to be exploited by malicious input data (software attack) combined with fault injection (hardware attack).

Contract duration (months)
6

Job Description
Join us for an internship
CEA Tech Corporate from CEA Tech on Vimeo

As an intern at CEA, you will have the opportunity to work in a world-renowned research environment. Our teams are made up of passionate and dedicated experts, offering a framework conducive to learning and collaboration. You will have access to state-of-the-art equipment and first-rate research resources to carry out your assignments.

Main goals

  • Investigate how LLM can be used to assist evaluators in finding bug automatically in source code. For example, a research question is how IA could assist the user in generating formal specification, which is a long repetitive and complex process.
  • Assess how LLM perform and can be complementary to traditional tools used for evaluation (formal methods, using Frama-C and Lazart).

Internship tasks

  • Literature review of LLMs solutions for automatic bug finding.
  • Test of LLMs on open benchmarks of source code containing vulnerabilities ([3,4])
  • Evaluation of a scope where LLM is relevant (i.e. where it performs better than traditional tools, where it can be complementary, to assist the evaluator)
  • Proposition of a methodology to assist source code analysis with LLMs

References
[1] Sauze-Kadar Marine, Thomas. Loubier A Multi-Model Approach to Enhance Automatic Matching of Vulnerabilities to Attack Patterns. Récupéré sur

[2] Lacombe, G., Feliot, D., Boespflug, E. et al. Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. J Cryptogr Eng 14, 147–

[3] WooKey challenge: https://wookey-

[4] ANSSI, Amossys, EDSI, LETI, Lexfo, Oppida, Quarkslab, SERMA, Synacktiv, Thales, Trusted Labs Inter-CESTI: Methodological and Technical Feedbacks on Hardware Devices Evaluations.

Methods / Means
LLM, IA, static code analysis, Formal methods, cybersecurity

Applicant Profile
What do we expect from you?
We are looking for a motivated and curious candidate (BAC+5) in the field of cybersecurity to join our team. The candidate must have good programming skills (Python, C, assembly, …) and some basic knowledge in artificial intelligence, embedded system security, vulnerability exploits.

A prior technical knowledge in formal methods for static code analysis is highly valued. A proactive and autonomous profile, an enthusiasm for scientific research are encouraged.

We offer:
An internship in the heart of the Grenoble metropolitan area, easily accessible via the CEA's soft mobility program.

A unique research environment dedicated to topics with high societal impact.

Experience in a cutting-edge field of innovation with strong industrial development potential.

Training to strengthen your skills or acquire new ones in embedded electronics, information technology, telecommunications, and/or cybersecurity.

In accordance with the CEA's commitments to the integration of people with disabilities, this job is open to all. The CEA offers accommodations and/or organizational possibilities for the inclusion of workers with disabilities.

Position location
Site
Grenoble

Job location
France, Auvergne-Rhône-Alpes, Isère (38)

Location
Grenoble

Candidate criteria
Languages
English (Intermediate)

Prepared diploma
Bac+5 - Diplôme École d'ingénieurs

Requester
Position start date
02/02/2026