Offre n° 9075605
Ingénieur Méthodes Formelles F/H - Informatique de gestion (H/F)

Publié le 03 juillet 2025

Descriptif 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é: 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.

Type de contrat

Contrat à durée indéterminée
Contrat travail

Salaire

A négocier

Profil souhaité

Expérience

Débutant accepté

Informations complémentaires

Qualification : Cadre
Secteur d'activité : Conseil en systèmes et logiciels informatiques

Employeur

CLEARSY

Ce Que Nous Vous Proposons : * Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes. * Une montée en compétences via : des formations multiples, un encadrement par des experts, un travail collaboratif et un mentor pour les moins expérimentés et les changements d activités * Des opportunités nombreuses : les expériences se complètent et se diversifient en fonctions des projets et des e...