Recherche par mots clefs: La region souhaitée: Secteur d'Activité:






Détail de l'offre: Stage - Vérification formelle de modèles dysfonctionnels (H/F)


  • Société: Thales
  • Secteur d'Activité: Informatique, Electronique et Télécom
  • Région du poste: France: Midi Pyrénées
  • Type de poste: Stage - Vérification formelle de modèles dysfonctionnels (H/F)
  • Contrat: Sans Précision
  • Formation:
  • Lieu de travail: Toulouse
  • Date d'embauche: NC
  • Salaire: N/A
  • Référence: NC


Description du Poste:

QUI SOMMES-NOUS ?Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité pour les marchés de l’Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 64 000 collaborateurs dans 56 pays, le Groupe bénéficie d’une implantation internationale qui lui permet d’agir au plus près de ses clients, partout dans le monde. L’activité avionique rassemble 10 000 collaborateurs qui œuvrent à fournir des équipements et des systèmes de pointe pour toute la chaîne de l’aéronautique civile, militaire.Le site de Toulouse développe et commercialise des solutions et équipements pour avions et hélicoptères : cockpits, solutions pour cabines, systèmes de missions civiles et militaires et offres de services associées.La Direction
Digitalisation et Missions recherche un/une Stagiaire Vérification
formelle de modèles dysfonctionnels – (H/F)Basé(e) à ToulouseQUI ETES-VOUS ?Vous êtes en 5ème année d’un cursus Ecole d’ingénieur ou
universitaire ?Vous êtes communicant, techniquement curieux et faites preuve
d’autonomie ?Vous avez des connaissances en Informatique fondamentale (méthodes
formelles, Grammaires, logiques temporelles – LTL, CTL, CTL*,…), et en langage
AltaRica, langage Java ?CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Dans le cadre de ses travaux de recherche sur le thème 'diagnostic
d'équipement avionique', Thales a développé des outils de configuration
afin de générer les tables binaires configurant les produits de maintenance.Certains de ces outils sont basés modèles, c’est-à-dire qu’ils s’appuient
sur de la modélisation pour exporter les données de configuration. En
particulier pour le diagnostic, l’outil de modélisation permet de décrire les
dysfonctionnements du système de manière formelle.Seulement, la vérité d’un modèle est très difficile à évaluer ne serait-ce
déjà que de manière partielle. Néanmoins, il est possible de vérifier certaines propriétés classiques.L'objectif du stage est de mettre en œuvre des techniques de méthodes
formelles, dites de vérification de modèle (ou model-checking), afin de
permettre de vérifier simplement les modèles dysfonctionnels formels cités
précédemment.En nous rejoignant, vous vous verrez confier les missions suivantes : Vous serez intégré dans une équipe dédiée aux études/développement de
systèmes de maintenance. Compte tenu de la durée du stage, il vous sera demandé de mettre en œuvre
les technologies en question sur des modèles pour les vérifier.A ce titre, vos missions principales, seront : Définition
du langage de vérification formelle utiliséCréation
de propriétés à vérifier sur des modèles existantRécupération
des résultats de vérificationIntégration
des précédents points dans l’outil de modélisationLa perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre.Vous souhaitez en savoir plus sur l’activité avionique ? Cliquez ici.


Postuler à cette offre d'emploi:















  annuler