Stage Ingénieur Développement Informatique (H/f)

Infos clés
société Segula lieu Lanester date 5 décembre 2017
Description du poste

Des travaux récents, mené par SEGULA sur la vérification formelle ont abouti à la définition d’une approche, actuellement manuelle, pour la vérification formelle d’un système de production d’eau douce sur un navire. Le but de ce stage est l’implémentation sous forme d’un plugin Eclipse de l’approche proposée en Java. Ce plugin permettra l’affichage du contrexemple retourné par le Model-Chercker sous une autre forme (graphique) plus lisible pour les concepteurs. Dans un premier temps, il s’agira d’assimiler les informations relatives aux méthodes et outils déjà existants. Il conviendra enfin d’implémenter la solution sous Eclipse et de la tester conformément au protocole établi. Résumé de la démarche envisagée : Appropriation des travaux précédents. Développement d’un plugin pour implémenter l’approche. Définition du protocole expérimental. Expérimentation de la solution. De formation bac +5 avec une spécialisation en informatique, vous êtes à la recherche d’un stage. Vous avez…

Partager
Retrouvez les annonces d'emploi dans le Morbihan sur