Ingénieur Méthodes Formelles H/F

CDI

RETOUR LISTE DES OFFRES
Réf : 78
Publié le 20/05/2020

Ingénieur Méthodes Formelles H/F

CDI

Paris - Île-de-France - France

Présentation de l'entreprise

Depuis 2001, CLEARSY innove pour faire progresser la sécurité des systèmes et des personnes grâce aux outils logiciels et électroniques conçus et développés dans ses bureaux d’études.
Nos ingénieurs interviennent sur toutes les phases de nos projets, de la spécification à la réalisation de solutions que nous livrons assortis de leur dossier de certification.
Nous nous impliquons de façon croissante dans la technologie des systèmes intelligents et connectés (robots, drones, voitures et trains autonomes, …) avec des outils et logiciels capables de répondre aux enjeux de l’automatisation.

Le savoir-faire de CLEARSY est reconnu en France et dans le monde entier avec une vingtaine de projets à l’international depuis 2006 et CLEARSY connait une croissance régulière depuis sa création.
Nos 150 collaborateurs sont répartis entre nos quatre sites : Aix-en-Provence, Strasbourg, Lyon, Paris. Les valeurs de CLEARSY – audace, passion pour la technique, plaisir - s’épanouissent au sein d’une entreprise à taille humaine.


Intégrer CLEARSY c’est rejoindre une communauté de spécialistes dans laquelle les compétences professionnelles sont reconnues et enrichies ; dans laquelle l’inventivité, l’autonomie et le sens du collectif sont des qualités appréciées.

Description du poste

CLEARSY recherche un(e) ingénieur(e) avec mission de :

Modéliser et développer des systèmes et des logiciels avec les méthodes formelles ;
Réaliser des outils associés.

Le contexte :


Centre de compétences et de formation sur la méthode B, CLEARSY :

  • 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 (Atelier B)
  • Réalise des projets industriels intégrant l'utilisation des méthodes formelles ;
  • Développe des outils de programmation formelle pour ses systèmes propres.

Profil recherché

Vous :

Ingénieur(e) de formation Bac + 5, grandes écoles ;
Passionné(e) de mathématiques et d’informatique ;

Vous vous reconnaissez dans nos valeurs que vous aurez à cœur d’entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.

Partager cette offre