description
CEA-Leti recrute un étudiant en dernière année d’école d’ingénieurs en informatique pour un stage de cinq à six mois consacré au développement et à l’évaluation d’approches fondées sur des modèles de langage de grande taille pour l’analyse du code source dans le cadre de l’évaluation de la sécurité. Le travail consistera à comparer les méthodes fondées sur les LLM à l’analyse statique traditionnelle, à explorer des approches complémentaires aux LLM pour Frama-C/WP, et à étudier les spécifications formelles et les vulnérabilités en cybersécurité. Le stage se déroule à Grenoble, en France, et nécessite des connaissances en analyse statique et en techniques d’attaque logicielle, ainsi qu’un intérêt pour le développement logiciel assisté par l’IA.
