Ingénieur Méthodes Formelles

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

• 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

• 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."

• 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.

• Lyon - 69
• CDI

Clearsy System