INGÉNIEUR MÉTHODES FORMELLES H/F

CDI

RETOUR LISTE DES OFFRES
Réf : IMF
Publié le 30/10/2018

INGÉNIEUR MÉTHODES FORMELLES H/F

CDI

Aix-en-Provence - Provence-Alpes-Côte d'Azur - France

Présentation de l'entreprise

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ée 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é.

Description du poste

Clearsy est une société spécialisée en ingénierie des systèmes fiables et :

  • Est centre de compétences et de formation sur la méthode B.
  • Participe à des projets de recherche et développement dans le domaine du formel 
  • Développe les outils liés à l'industrialisation de la méthode B : AtelierB
  • Réalise des projets industriels intégrant l'utilisation d'une méthode formelle 

Nous recherchons de nouveaux collaborateurs H/F motivés par les challenges techniques.

Intégré à notre équipe de spécialistes, vous participez à des projets de modélisation formelle ou de développement formel des logiciels. Les prestations peuvent être réalisées dans nos locaux ou directement chez de grands industriels ou donneurs d'ordre.

Profil recherché

Ingénieur de formation Bac + 5, grandes écoles, vous êtes passionné(e) de mathématiques et d’informatique.
Rejoignez CLEARSY, PME leader de la méthode formelle B et innovante qui vous offre de réelles opportunités d'évolution

Partager cette offre