Les offres de “SII”

Expire bientôt SII

DST/ASP/SPEC - Stage Spécification formelle H/F

  • Stage
  • Toulouse (Haute-Garonne)
  • Développement informatique

Description de l'offre

Description

Au sein du Département Aéronautique, vous accompagnerez les équipes techniques dans la valorisation de leurs activités avec des solutions orientées Spécification formelle.

L'objectif de ce stage est de mettre en place un outil de spécification formelle basée sur une grammaire simplifiée de haut niveau. Cet outil doit poouvoir s'interfacer avec les outils existants PTU generator et UTB Tools.

Vous participerez aux activités suivantes:

- Constituer un état de l'art sur la spécification formelle
- Proposer un Outil complet permettant de spécifier d'une manière non ambiguë, un logiciel avionique.
- Proposer un set d'autotests de l'outil.
- Promouvoir ses études, travaux et résultats auprès de l'entreprise.

Expérience
Indifférent

Qualification
Consultant

Rémunération
Selon profil et expérience

Dynamisme, Confiance, Innovation et Autonomie sont nos leitmotivs !

Intégrer SII Sud-Ouest (800 collaborateurs), c'est travailler sur des sujets innovants avec des #Fungénieurs créatifs. Pour nous, la proximité avec nos collaborateurs est une de nos priorités.
Pour accompagner votre carrière, nous vous proposons d'être membre d'une communauté technique correspondant à vos centres d'intérêts : «Big Data», «Front-end IHM», «Back end – Architecture logicielle», «Sécurité, architecture technique, devops », «Aéronautique» ou «Simulation, Modélisation».

N'attendez plus, rejoignez le mouvement #Fungénieur : Bien plus qu'un métier, une philosophie !

Profil recherché

Profil

Vous êtes issu(e) d'une Ecole d'Ingénieur en dernière année d'études ou d'une formation universitaire Bac +5.

Doté(e) d'une bonne capacité d'analyse et de synthèse, vous savez rédiger des documents techniques et avez une bonne communication écrite.
Vous êtes rigoureux(se), autonome et force de proposition. Vous avez des connaissances en spécification, langage formel, Parser et en écriture de tests. Vous savez aussi vérifier par modèle Emacs/Eclipse et connaissez la méthode de classes d'équivalence.

Depuis plus de 10 ans, SII Sud-Ouest, c'est : Apporter un service à nos clients ainsi qu'à nos consultants dans le respect de nos valeurs : Professionnalisme, Anticipation, Confiance, Transparence, Engagement.

Suivez-nous sur les réseaux : Suivez-nous sur les réseaux :Viadeo ,LinkedIn ,Twitter et Groupe SII surFacebook.

Faire de chaque avenir une réussite.
  • Annuaire emplois
  • Annuaire entreprises
  • Événements