Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
Cédric Balcon-Hermand
22.12.2025
Titre de l’emploi : Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
Société : Commissariat à l’Énergie Atomique
Description : and best practices for critical SW. The approach must integrate an evaluation of some metrics and a connection with evaluation tools… critical SW architecture M/F Subject The internship aims to implement and improve the formalization and implementation
Location : Ile-de-France
Date de travail : Thu, 20 Nov 2025 01:12:04 GMT
Postulez dès maintenant !
#Formal #methodology #exploration #evaluation #complex #critical #architecture
