Ingénieur Méthodes Formelles H/F

Clearsy

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

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 à coeur d'entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.

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 envies : développement, conception, validation, architecture, organisation.
- Les postes à CLEARSY sont évolutifs et polyvalents : chef de projet, responsable technique, développement, propositions commerciales, présentations, participation à une offre technique, financière et produit, formateur, participation à des conférences et salons métier.
- Un accord incluant du télétravail si souhaité.
- Des avantages intéressants : une très bonne mutuelle, des activités fréquentes organisées par les collaborateurs et soutenues par le CSE, des tickets restaurants, un véritable accord de participation (1/4 des bénéfices reversés aux collaborateurs), une prime de vacances et des primes de cooptation.
- Organisation de soirées (food trucks), escape games, after works, potager collaboratif, pétanque, billiard, cours de yoga, squash...
- 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.
- Cette citation reflète bien nos valeurs : Steve Jobs - "Cela n'a pas de sens d'embaucher des gens intelligents et de leur dire quoi faire ; nous embauchons des gens intelligents pour qu'ils nous disent ce qu'il faut faire."

Des projets qui ont du sens :

- A la différence d une ESN, l immense majorité des travaux de CLEARSY sont réalisés au forfait dans les locaux : nos clients nous confient la réalisation de l ensemble d un projet en complète autonomie (technique et organisationnelle), avec un engagement de résultat.
- Vous cherchez une entreprise innovante dans un secteur porteur d avenir ? Nos clients sont les acteurs majeurs du monde de la mobilité verte et de l énergie , qui nous confient de grands projets industriels clés en main.
- Les valeurs humaines de CLEARSY sont très importantes. Les règles, et la hiérarchie ne sont pas de mise à CLEARSY, afin de rester agiles et de se concentrer sur la réussite technique des projets.