Stage conception d’un outil basé sur LibAdalang H/F

Date de mise à jour de l’offre

SAS Systerel :

Bureau d'ingénierie spécialisé en systèmes critiques

Description de la mission

Contexte :

À la rencontre des activités sur les méthodes formelles et des activités sur le développement temps réel, un champ de compétences de Systerel est la conversion de code industriel existant en Ada pour utiliser l’analyseur formel SPARK.

Objectif :

L’objectif du stage est de concevoir un outil basé sur libAdaLang pour extraire des métriques pertinentes pour suivre l’avancement de la conversion vers SPARK et celui de l’analyse formelle elle-même ; et ensuite de présenter visuellement ces métriques pour faciliter leur exploitation et leur exploration.

Il s’agira donc de prendre en main la bibliothèque libAdaLang, pour obtenir une représentation logicielle du code source traité, et de proposer des métriques et des représentations.

Profil recherché

De formation supérieure en informatique, vous avez des affinités pour le développement logiciel, le test et l’automatisation. Vous êtes d’un naturel curieux et le processus de développement et son encadrement vous intéresse.

La connaissance du langage Ada et d’une méthode formelle basée sur les mathématiques sont autant de plus.

Créativité, ouverture d’esprit et rigueur sont les qualités appréciées pour ce stage.

Niveau de qualification requis

Bac + 4/5 et +
  • Employeur
    SAS Systerel
  • Secteur d’activité de la structure
    Emploi - Economie - Innovation - Numérique
  • Effectif de la structure
    De 51 à 250 salariés
  • Site internet de la structure
    https://www.systerel.fr
  • Type de stage ou contrat
    Stage pour lycéens et étudiants en formation initiale
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus de 4 mois et jusqu'à 6 mois
  • Le stage est-il rémunéré ?
    Oui
  • Niveau de qualification requis

    Bac + 4/5 et +
  • Lieu du stage
    3 Rue Danton
    92240 MALAKOFF
  • Accès et transports
    Métro Malakoff Plateau de Vanves