Vous développerez et comparerez des algorithmes d’optimisation multi-paramétrique appliqués aux réseaux de Petri pour évaluer la sûreté de fonctionnement de constellations de satellites. Le stage comprend l’étude des algorithmes, leur implémentation en Python ou dans un autre langage, puis l’analyse des résultats et la formulation de recommandations. Vous travaillerez avec les ingénieurs en sûreté de fonctionnement du CNES et le développeur du logiciel GRIF.