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é: 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.