stage en IA : automatisation de la conformité d’un référentiel documentaire et génération d’un code sécurisé

Rejoignez Thales, un leader mondial des hautes technologies, pour un stage en intelligence artificielle. Vous travaillerez sur l'automatisation de la conformité d'un référentiel documentaire et la génération d'un code sécurisé. Le stage se déroulera à Gennevilliers, France, et vous aurez l'opportunité de développer vos compétences en programmation fonctionnelle et en méthodes formelles appliquées à la sécurité des logiciels.

- Se former à Coq, développer le logiciel en Coq, écrire les théorèmes formalisant la politique de filtrage. - Prouver les théorèmes et extraire le code vers OCaml. - Acquérir les compétences nécessaires pour travailler dans le domaine des méthodes formelles appliquées à la sécurité des logiciels.