Stage - Ingénierie Logicielle Modélisation Fonctionnelle (F/H)
Naval Group
Cette offre n'est plus disponible. Retour à la liste des offres.

Stage - Ingénierie Logicielle Modélisation Fonctionnelle (F/H)

  • Stage (De 4 à 6 mois)
  • Ollioules (France)
  • Publiée le 13 Février 2019
Cette offre n'est plus disponible. Retour à la liste des offres.

NOS PRODUITS SONT UNIQUES, VOTRE PARCOURS MÉRITE DE L'ETRE !

Naval Group, leader européen du naval de défense est l'un des rares industriels dans le monde capable de concevoir, réaliser et entretenir des systèmes aussi pointus qu'un sous-marin, un porte-avions ou un navire.
Les projets complexes vous attirent et l'innovation est votre moteur?
Rejoignez nos équipes et participez à la grande aventure du naval de défense !

Naval Group Ollioules recherche, pour son Département Systèmes de Combat - Frégate, un(e) stagiaire architecte logiciel qui viendra spécifier le logiciel temps réel critique existant avant de le modéliser à haut niveau fonctionnel. Ce stage, d'une durée de 4 à 6 mois, est à pourvoir dès le 1er avril 2019.

Les logiciels temps réels critiques développés chez Naval Group sont d'une complexité croissante. Par là même, leur maîtrise technique et fonctionnelle, ainsi que leur qualification, deviennent de plus en plus délicate. Afin de maintenir un haut niveau de maîtrise, et pour anticiper des exigences de qualité toujours croissantes, les équipes logicielles de Naval Group envisagent d'utiliser les méthodes formelles dans l'ingénierie des modèles.

La/e futur(e) stagiaire sera intégré(e) dans l'équipe en charge du développement des composants logiciels du système de combat des frégates multi-missions FREMM (une dizaine de collaborateurs) et sera rattaché(e) à un Ingénieur Logiciel.

L'objectif de ce stage est de mettre en oeuvre une approche basée sur les méthodes formelles visant à garantir la conformité fonctionnelle et/ou la sécurité d'exécution.
L'aspect novateur sera la mise en oeuvre de méthodes d'analyse statique de code (travail en fonction des contrats définis à partir du modèle haut niveau) et de ModelChecking et leur intégration dans le cycle de vie du logiciel.
Les résultats des travaux réalisés durant le stage doivent permettre d'évaluer la maturité des méthodes de vérification formelles pour les besoins des équipes de développement de Naval Group. Le travail sera effectué sur un cas d'étude d'une taille réduite mais représentatif des différents algorithmes mis en oeuvre dans les systèmes Naval Group.

La/e futur(e) stagiaire aura pour missions de/d' :
- Spécifier le logiciel existant
- Modéliser, à haut niveau fonctionnel (phases de tests, etc.)
- Prouver que le code des composants logiciels correspondant au fonctionnel rempli les contrats issus de la modélisation.

Le contexte du stage comporte une forte composante d'échange et de communication avec l'ensemble des parties prenantes dans la conception des systèmes logiciels du service.
Ce stage à forte composante de logique mathématique requiert de bonnes capacités d'abstraction et une appétence pour le sujet des méthodes formelles.

Vous êtes actuellement en BAC+5 Ecole d'Ingénieur ou Master en informatique-mathématiques, ou équivalent.
Vous disposez de connaissances de programmation Java et de codage.

Ce stage exige à la fois d'être curieux du domaine fonctionnel et d'avoir une bonne capacité d'abstraction pour le modéliser.

Vous êtes reconnu(e) pour votre esprit de synthèse et votre sens des priorités. Vous êtes relativement autonome.
Vous avez un goût prononcé pour le fonctionnel, la modélisation, ainsi que pour les mathématiques.


INVENTER L'AVENIR...CA S'APPREND
Plus de 300 stages à pourvoir

VOUS ETES curieux(se), passionné(e) et avez le goût des défis ?

NOUS VOUS PROPOSONS :
- D'exprimer votre potentiel dans un environnement de très haute technologie sur des projets exceptionnels et innovants qui contribuent à la souveraineté des marines du monde;
- De vous enrichir d'une expérience unique, un atout pour votre futur job;
- De profiter d'un dispositif attractif en termes de gratification (prise en charge partielle des titres de transports + accès au restaurant d'entreprise + prestations du comité d'entreprise).