Stage Ingénieur développement logiciel par méthode formelle

Description de l'offre

Le Groupe:

Safran est un groupe international de haute technologie opérant dans les domaines de la propulsion et des équipements aéronautiques, de l'espace et de la défense. Implanté sur tous les continents, le Groupe emploie plus de 58 000 collaborateurs pour un chiffre d'affaires de 16,5 milliards d'euros en 2017. Safran est une société cotée sur Euronext Paris et fait partie des indices CAC 40 et Euro Stoxx 50.

En février 2018, Safran a pris le contrôle de Zodiac Aerospace, élargissant ainsi son périmètre d'activités dans le domaine des équipements et systèmes aéronautiques. Zodiac Aerospace emploie environ 32 500 collaborateurs et a réalisé un chiffre d'affaires annuel de 5,1 milliards d'euros au 31 août 2017.

Safran est classé dans le Top 100 Global Innovators de Thomson Reuters ainsi que dans le palmarès « Happy at work » des sociétés où il fait bon vivre. Le Groupe est en 4ème position du classement Universum des entreprises préférées des jeunes ingénieurs en France.

Safran Aerosystems est numéro un mondial des systèmes aéronautiques de la distribution électrique, des systèmes gonflables de sécurité et de gestion des eaux et déchets. La société est également un acteur majeur des systèmes oxygène, de divertissement à bord, de télémesure et de communications et des systèmes carburant.

Pour plus d’informations : www.safran-group.com et www.zodiacaerospace.com / Suivez @Safran et @ZodiacAerospace sur Twitter

L’entité Zodiac Electrical Power Systems du Groupe Zodiac Aerospace est le leader mondial de la distribution de la puissance électrique embarquée au sein d’aéronefs. Elle accompagne le développement des nouveaux avions et hélicoptères plus électriques. L’entité a une expertise unique d’ingénierie système et de gestion des programmes pour accompagner le développement et l’intégration de système électrique de nouveaux aéronefs. Toutes ces activités sont supportées par un centre d’essais système permettant l’intégration complète d’un système électrique représentatif d’un avion ou hélicoptère.

L'entité compte aujourd’hui plus de 1200 salariés, répartis sur 4 sites : le siège social à Montreuil et trois sites de production en France (Niort), en Tunisie et au Mexique.

Description du poste:

Zodiac Aero Electric a développé de nombreux systèmes de distribution électrique intégrant des algorithmes numériques de protections électriques hétérogènes. Rattaché(e) à la Direction R&T ton sujet de stage portera sur les études suivantes:

• faisabilité de portage d’application en langage de programmation en C vers un langage de plus haut-niveau ADA Orienté Objet ;

• applicabilité et le gain de l’utilisation de méthodes formelles telle que SPARK (basée sur ADA) ;

• application sur briques génériques logiciel applicatives de gestion de réseau électrique et de protection électrique.

Activités principales:

Dans ce cadre et après t’être familiarisé(e) avec nos produits et processus, tu seras amené(e) à effectuer les activités suivantes:

· Rédiger une étude de faisabilité de migration du langage C vers langage ADA. Il faudra prendre en compte les contraintes de la méthodologie logicielle en place, la possibilité de mixer l’applicatif ADA avec une plateforme bas-niveau (OS et pilotes en C) ainsi que la compatibilité du compilateur avec les cibles utilisées sur les projets futurs ;
· Rédiger une étude de faisabilité d’utilisation du langage SPARK ;
· Mettre en application sur une ou plusieurs fonctions génériques ;
· Etablir un pland’avancement ;
· Synthétiser les résultats & réaliser un rapport de stage.

Tu pourras être amené(e) à te déplacer sur le site de Niort.

Cette liste de missions n’est pas limitative et pourra évoluer selon ton appétence et ta curiosité!

Tonprofil:

Tu penses que ce stage est fait pour toi? Quelques éléments pour en être convaincu(e):

Etudiant(e) en dernière année d’école d’ingénieur avec une spécialité en informatique industrielle, tu es passionnépar la programmation embarquée critique et tu as un bon niveau en maths. Idéalement, tu as étudié laméthode formelle qui s’appuie sur la théorie des ensembles et lors de taformation ou d'expériences professionnelles tu as découvert les langages informatiques et la programmation.

D’un naturel curieux, proactif et autonome, tu es capable d'expliquer et de transmettre tes idées. Doté(e) d’un bon relationnel, tu possèdes de bonnes capacités d’analyse et de synthèse.

Alors, si tu veux prendre part à un projet innovant en aéronautique? Nous attendons ta candidature!