Large Language Model (LLM) for Source Code Analysis in Security Evaluation (M/F) at ADSN Career

CEA-Leti is hiring a final-year computer engineering student for a five- to six-month internship developing and testing large language model approaches for source code analysis in security evaluation. The work will compare LLM-based methods with traditional static analysis, explore LLM-complementary approaches to Frama-C/WP, and study formal specifications and cybersecurity vulnerabilities. The internship is based in Grenoble, France, and requires knowledge of static analysis, software attack techniques, and interest in AI-assisted software development.