1 computational-physics "https:" "https:" "https:" positions at CEA in France

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

CEA | Romans sur Isere, Rhone Alpes | France | 3 months ago

long repetitive and complex process. (2) Assess how LLM perform and can be complementary to traditional tools used for evaluation (formal methods, using Frama-C and Lazart). Internship tasks •Literature