Large Language Model Llm For Source Code Analysis In Security Evaluation H/F

CEA

Fontaine, Grenoble📅 26/9/2026

Descripción

The 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] https://frama-c.com

Envía tu CV a CEA

Gratis. Guzzi, nuestro asistente con IA, te prepara la carta para esta oferta y te ayuda a mandarla.

Ver la oferta original en Adzuna ↗

Últimas ofertas en Fontaine

Stage – Data Analyste en Finance (IA & power BI ) H/F

Air Liquide · Fontaine-Sassenage

Analyste support applicatif H/F

Hardis Group · Fontaine-Seyssinet

Professeur de Design Graphique pour donner des cours particuliers - télétravail possible

Voscours · Fontaine-lès-Dijon

Professeur de Design Graphique pour donner des cours particuliers - télétravail possible

Voscours · Fontaine

Professeur de Design Graphique pour donner des cours particuliers - télétravail possible

Voscours · Fontaine-Sassenage

BuscayCurra es gratis

2,9 millones de ofertas y 7 de cada 10 traen el correo de la empresa: tu CV llega a una persona. Guzzi te ayuda a hacer el CV y a mandarlo.

App para iPhone App para Android