IngÃ©nieur technique de sÃ©curitÃ© du logiciel F⁄H.

Offre: POSTE ET MISSIONSDans le cadre de projets de systÃ¨mes de transport ferroviaire, vous garantissez la pertinence des solutions techniques employÃ©es par les industriels pour assurer le niveau de sÃ©curitÃ© requis des logiciels impliquÃ©s dans les systÃ¨mes de contrÃ´le et de commande des trains ou de signalisation ferroviaire.De plus, vous interviendrez dans les activitÃ©s techniques d'Ã©valuation de la sÃ©curitÃ© des logiciels lorsque cela requiert des compÃ©tences en gÃ©nie logiciel.Vos missions principales :ContrÃ´ler, valider et vÃ©rifier la mÃ©thodologie utilisÃ©e par les industriels employant une ou plusieurs mÃ©thodes formelles.Evaluer les logiciels de base : vÃ©rifier la conception des logiciels, l'adÃ©quation des moyens de test et analyser les principes de sÃ©curitÃ© d'un calculateur de base. Evaluer les modÃ¨les formels des industriels : rÃ©aliser et vÃ©rifier les preuves formelles et assurer la modÃ©lisation formelle de systÃ¨mes ou de logiciels.Assurer une veille technologique et contribuer Ã la rÃ©daction d'articles scientifiques.PROFIL RECHERCHÃ‰Vous Ãªtes obligatoirement titulaire d'un diplÃ´me BAC+5 (IngÃ©nieur ou Universitaire) en informatique industrielle et/ou gÃ©nie logiciel. Vous disposez d'une expÃ©rience de 1 Ã 3 ans dans le domaine du gÃ©nie logiciel. Vos connaissances en mÃ©thodes formelles seront un plus apprÃ©ciÃ©.Vos connaissances en informatique industrielle (mÃ©thodes formelles de dÃ©veloppement de logiciels telles que SAT/SMT et BMC, langages structurÃ©s, architectures informatiques, systÃ¨mes temps rÃ©el, calculateurs embarquÃ©s) et en Ã©lectronique vous permettront d'Ãªtre rapidement opÃ©rationnel sur le poste. De plus, des compÃ©tences en management de projet sont fortement apprÃ©ciÃ©es.MÃ©thodique et rigoureux, vos capacitÃ©s de synthÃ¨se seront essentielles pour rÃ©ussir vos missions.INFORMATIONS COMPLÃ‰MENTAIRES Type de contrat : CDI.Lieu : Fontenay sous-bois (dÃ©placement possibles hors IDF et Ã l'Ã©tranger).Horaires : De bureau. PossibilitÃ© de travail en nuit exceptionnelle.RÃ©munÃ©ration : Selon le niveau d'expÃ©rience.