SERMA SAFETY & SECURITY recherche un stagiaire pour travailler sur un projet relatif à la sûreté de fonctionnement des logiciels critiques et l’utilisation de l’IA générative. L’objectif principal du projet sera de déterminer dans quelle mesure une IA générative peut être utilisée pour participer à la démonstration de sécurité d’un logiciel critique. Le stagiaire sera formé aux techniques de démonstration de sûreté de fonctionnement des logiciels critiques, telles que la revue critique de code, l’analyse statique, la revue de tests, etc. Le but du stage sera de soumettre à une IA générative (type ChatGPT) différentes analyses de sûreté de fonctionnement nécessaires aux démonstrations de sécurité, puis de comparer les résultats obtenus avec des méthodes d’analyse dites classiques. Cette comparaison permettra de déterminer dans quelle mesure une IA peut être utilisée comme outil dans le métier de la SDF logiciel et d’identifier d’éventuelles limitations. Le stagiaire travaillera au sein de notre entreprise située à Guyancourt (78) ou à Pessac (33). Nous offrons un environnement de travail stimulant et une opportunité unique de travailler avec une équipe de professionnels expérimentés dans le domaine de la sûreté de fonctionnement logiciel. De plus ce stage pourra déboucher sur une éventuelle embauche
– Bac +5 (Ecole d’ingénieur ou Master 2). – Étudiant(e) en informatique ou en génie logiciel. – Intérêt pour le domaine de l’embarqué et l’IA. – Connaissance des langages de programmation courants (C, C++, Python, etc.). – Vous faites preuve de curiosité, d’autonomie et d’un bon sens de l’organisation. – Des notions dans le domaine de la Sûreté de fonctionnement et la qualité du logiciel seraient un plus.
© 2024 SERMA GROUP – Mentions Légales – Politique de protection des données
Download the SERMA training catalog
Télécharger le catalogue de formation SERMA