Descriptif du poste: Il y a un point commun entre tous les projets CLEARSY : la sécurité. Cet aspect sécuritaire n'est pas forcément appris dans les cursus scolaires et pourtant prend une place considérable dans la conception de système sûrs et complexes telle que nous le faisons à CLEARSY. Nous sommes partisans de l'apprentissage par la pratique et le concret. Nous avons des projets où nous ne réalisons que la validation de certains systèmes. Il est souvent plus simple de valider quelque chose d'existant plutôt que de le concevoir et ainsi apprendre comment fonctionne un système complexe. La mission consiste d'une part à faire des analyses de sécurité sur la spécification fonctionnelle afin de s'assurer que le logiciel va respecter les consignes de sécurité puis à valider que l'implémentation de cette spécification (le code), implémenté sur la base d une méthode formelle rigoureuse, est conforme à sa spécification. Profil recherché: Nous cherchons des ingénieurs avec la tête bien faite ayant envie de découvrir le monde du ferroviaire, ce que veut réellement dire le mot sécurité tout en se familiarisant avec les méthodes formelles, autre cœur de métier chez CLEARSY. Ces projets sont extrêmement formateurs car ils permettent d'apprendre en très peu de temps et en pratiquant l'essentiel des métiers que nous proposons à CLEARSY. La plupart des ingénieurs dynamiques et désireux d'apprendre techniquement que nous avons déjà recruté sur ce projet de validation logicielle y participent durant environ 6 mois puis, forts des connaissances apprises, peuvent prétendre à de nombreux postes plus complexes et enrichissants dans CLEARSY.