LCHIP

CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le pilote automatique du métro de la ligne 14 à Paris).
Rassemblant plus d’une centaine d’ingénieurs répartis sur 4 pôles (Aix – Paris – Lyon – Strasbourg) CLEARSY participe aux projets stratégiques des grands industriels et donneurs d’ordres nationaux et internationaux.

L’activité est majoritairement orienté vers le secteur ferroviaire, énergie (nucléaire) et défense.

CLEARSY exporte aujourd’hui son expertise et ses systèmes à l’étranger (Sao Paolo / Stockholm / Caracas / New York / Hiroshima / Honolulu….)
Les équipes CLEARSY interviennent dans toutes les phases d’un projet, de la spécification à la réalisation de systèmes « clé en main » tout en garantissant un respect le plus strict des exigences de sûreté.

Dans le cadre du développement d’une plateforme de développement basée sur un calculateur sécuritaire, il sera demandé de réaliser une interface graphique d’édition de configuration d’un réseau de carte d’entrée/sortie sécuritaire.

Cette interface sera intégrée à l’Atelier B, outil logiciel dédié à la méthode formelle B (méthode de développement logiciel basée sur des modèles et des preuves mathématiques).

Location
  • Aix-en-Provence
  • Lyon
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