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

Numerical analysis of fully explicit phase-field models for dynamic fracture of materials H/F

CEA | Corbeil Essonnes, le de France | France | about 20 hours ago

field modeling of brittle fracture: Part I—Theory and simulations, Journal of the Mechanics and Physics of Solids, Volume 121, 2018, Pages 81-98, https://doi.org/10.1016/j.jmps.2018.07.010. [2] Lamia

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