IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Le poste correspondant à cette offre d'emploi a été pourvu.

Stage - Architecte logiciel : Modélisation Fonctionnelle (F/H)

Provence Alpes Côte d'Azur, Ollioules (83190) - Référence : 2018-22083-28498690
Mis en ligne le 1er novembre 2018 par Rosalie Calvert (+ d'offres)
Naval Group
Type de contrat :Stage
Métier :Informatique générale
Type d'entreprise :Autre type d'entreprise (client final)
Localisation :Provence Alpes Côte d'Azur, Ollioules (83190)
Salaire :de 52 800 €/an à 8 400 €/an
Télétravail :Pas de télétravail
Envoyer une candidature

Poste à pourvoir

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 ?uvre 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 ?uvre 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 ?uvre 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 (phases de tests, etc.) fonctionnel;
- 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. La connaissance de différents langages, aussi bien pratique que théorique est indispensable pour s'intégrer dans l'équipe logicielle.

Profil recherché

Niveau d'études souhaité : Bac + 5
Expérience souhaitée : 6 mois - 1 an

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).

Description de la société

Naval Group est le leader européen du naval de défense et un acteur majeur dans les énergies marines renouvelables. Entreprise de haute technologie d'envergure internationale, nous répondons aux besoins de nos clients grâce à nos savoir-faire exceptionnels, nos moyens industriels uniques et notre capacité à monter des partenariats stratégiques innovants.
Nous concevons, réalisons et maintenons en service des sous-marins et des navires de surface. Nous fournissons également des services pour les chantiers et bases navals. Enfin, nous proposons un large panel de solutions dans les énergies marines renouvelables.
Naval Group bâtit ses succès sur la conjugaison de ses talents ! De l'architecte naval au soudeur expert à l'ingénieur en cybersécurité, nos 13000 collaborateurs contribuent au développement du navire numérique.
Nos produits sont uniques, votre parcours mérite de l'être !

Envoyer une candidature