Développement d’application sécuritaire

CLEARSY conçoit, réalise et distribue des systèmes de sécurité certifiés. Elle collabore avec les donneurs d’ordres et les industriels pour adapter des systèmes existants ou concevoir de nouveaux systèmes adaptés aux besoins spécifiques.
Dans ce cadre CLEARSY a développé une plateforme matérielle et logicielle d’exécution d’application sécuritaire, intégrés dans plusieurs systèmes développés et déployés par CLEARSY. La plateforme logicielle est en cours d’évolution dans le cadre d’un projet de recherche, pour l’amener au niveau d’un produit. Elle est basée sur certains outils de l’Atelier B (suite d’outils développée par CLEARSY pour l’application de la méthode formelle B).

Le stage consiste à utiliser ces outils pour développer les applications logicielles de deux nouveaux systèmes développés par CLEARSY.

Location
  • Aix-en-Provence
Duration 6
Level 5

Postuler à cette offre de stage d'ingénieur

Pour postuler merci d’envoyer
un CV et une lettre de motivation
à l’adresse :

stages-ingenieurs@clearsy.com