Emplacement

Arrondissement de Grenoble
France
France

Contrat

À plein temps, Durée indéterminée

Date de publication:

2026-09-21

Online to:

2026-11-20
EUR 15.00 HOUR

Report this listing

Large Language Model (LLM) for source code analysis in security evaluation H/F

CEA
France
15 heures il y a

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é Référence Description de l'unitéCEA-Leti's Information Technology Security Evaluation Facility (ITSEF) is a security evaluation laboratory licensed by the Agence Nationale de la Sécurité des Systèmes d'Information (ANSSI) (French national cybersecurity agency). Description du posteDomaineMathématiques, information scientifique, logicielContratStageIntitulé de l'offreLarge Language Model (LLM) for source code analysis in security evaluation H/FSujet de stageUsing LLM to identify vulnerabilities by source code analysis is an emerging technique whose limitations have to be studied before it can be integrated in a security evaluation methodology as specified by ANSSI note 26 (1) (Common Criteria certification applicable document).(1) du contrat (en mois)5 to 6 monthsDescription de l'offreThe objective of this internship is to show how the LLM approach modifies the traditional approach using static analysis techniques. Several new LLM-based approaches will have to be defined and experimented on code bases. The complementarity of an LLM with static analysis tools, in particular those provided by the Frama-C platform (2) will have to be studied, for example the automatic generation of formal specifications for Frama-C/WP.(2) / Méthodes / LogicielsLLM, static analysis, formal methods, cybersecurityProfil du candidatComputer engineering degree, final year.Knowledge of static analysis techniques and software attack techniques (vulnerabilities and exploits).Interest for AI agent assisted software development and for the possible interactions between LLM and static analysis and formal verification tools.Localisation du posteSiteGrenobleLocalisation du posteFrance, Auvergne-Rhône-Alpes, Isère (38)VilleGrenobleCritères candidatLanguesAnglais (Intermédiaire)Diplôme préparé Bac+5 - Diplôme École d'ingénieursPossibilité de poursuite en thèseNon

Postuler

Large Language Model (LLM) for source code analysis in…

Emplacement

Contrat

Date de publication:

Online to:

Large Language Model (LLM) for source code analysis in security evaluation H/F

Plus d'emplois de votre recherche

Conseiller Immobilier en Transaction (H/F) (CDI)

Garde d'enfants en anglais H/F

Monteur Désenfumage Itinérant H/F

Area Sales Manager (h/f)

Adjoint de rayon boucherie F/H, Paris...

Coordonnateur construction projet h/f (CDI)

Responsable de Dossiers Comptables H/F

Conducteur ou Conductrice de trains TER - PARIS NORD...

INGENIEUR MIDDLEWARE - APACHE / TOMCAT / NGINX / JBOSS H/F (NANTES)

Médecin coordonnateur (H/F)

Technicien de Maintenance Confirmé H/F

Commercial(e) terrain BtoB (Haute-Savoie) H/F (CDI)

Job étudiant Babysitter