Ingénieur Validation Formelle de Données Sécuritaires H/F

Clearsy

Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires sur les données de leurs projets ferroviaires.

Vos missions seront de :

- Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureuses ;
- Tester et valider les modélisations ;
- Dérouler les campagnes de validation sur les données réelles des projets avant leurs mises en service.

Bac +5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l'informatique et les mathématiques.

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.