Ingénieur Méthodes formelles (H/F) CDD de 1 an (CDD)
il y a 14 jours
Palaiseau
Notamment, en utilisant les méthodes formelles pour produire les artefacts de certification des systèmes Thales (satellites, carte à puces, avionique) en définissant des propriétés de sûreté ou de sécurité directement sur le code logiciel (C, Ada, etc. Chez Thales, nous sommes fiers de tra