1 automatic-"https:" positions at CEA

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for automatic-"https:" positions

Large Language Model (LLM) for source code analysis in security evaluation H/F

CEA | Romans-sur-Isère, Rhône-Alpes | France | about 1 month ago

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 Moyens / Méthodes / Logiciels LLM, static

Enter an email to receive alerts for automatic-"https:" positions