Le stage aura lieu au sein du service de sûreté de fonctionnement de la Direction du transport spatial du CNES à Paris.

Les nombres à virgule flottante sont une approximation des nombres réels et un moyen de calcul rapide. Cependant, les nombres à virgule flottante n’ont pas les mêmes propriétés algébriques que les nombres réels (non-associatifs, non-distributifs, sans notion d'égalité), ce qui est une source de risques, en termes de précision et de sûreté de fonctionnement, lors de la traduction d'un algorithme mathématique en code source.

L’objectif de ce stage est de répertorier les types de pannes liés à l’utilisation des flottants, de faire l’état de l’art des méthodologies et des outils d’analyse du calcul flottant, et de mettre à jour le standard existant du CNES dédié à cette problématique.

Un étudiant poursuivant un cursus théorique pourrait aussi travailler sur le développement d'une nouvelle théorie algébrique applicable aux flottants.

Ce stage permet non seulement de travailler sur un sujet théorique et pratique important, mais aussi de faire connaissance avec le monde des lanceurs grâce à la diversité de métiers et de projets avec lesquels la/le stagiaire serait en contact à la Direction du transport spatial.

Convient pour un stage de M2 ou de M1 (avec la possibilité d’y inclure le travail encadré de recherche (TER)).

Références :
- Donald E. Knuth. The Art of Computer Programming. Vol 2. Chapter 4 – Arithmetic
- Muller, Jean-Michel, et al. Handbook of floating-point arithmetic. Basel, Switzerland, Birkhäuser, 2018

Le stage pourrait débuter en mars/avril 2025

• Cursus diplômant d’un niveau BAC+4 (Master 1 ou année césure) ou d’un niveau Bac+5 (dernière année d’école d’ingénieur ou Master 2) dans un domaine technique (informatique, mathématiques, physique, ...) ou université
  
• Bonne compréhension de l’anglais écrit