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. Descriptif du poste : 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 Vous : Bac+5 informatique ou généraliste (ingénieur(e) ou universitaire), passionné par la technique, l informatique et les mathématiques. Type d'emploi : CDI Statut : Cadre Rémunération : 30¿000,00€ à 70¿000,00€ par an Avantages : * Prise en charge du transport quotidien * RTT Horaires : * Du lundi au vendredi * Travail en journée Lieu du poste : En présentiel