Le laboratoire CESTI est missionné par lANSSI (Agence Nationale de la Sécurité des Systèmes d'Information) pour l'évaluation sécuritaire de produits électroniques. Composé actuellement denviron 30 personnes, évaluateurs en sécurité des TIC de très haut niveau technique, il met en œuvre des bancs de test et techniques dévaluation à l'état de l'art. Le CESTI Leti a une reconnaissance internationale sur ses activités dévaluation et recherche & d éveloppement. Le CESTI Leti recherche un ingénieur-chercheur pour léquipe en place sur les activités danalyse formelle et de conformité et ses futures évaluations sécuritaires. Ainsi, le poste se décompose en trois activités principales: * Analyse formelle dans les évaluations de produit ; * Evaluation en conformité ; * Un volet R& D et/ou veille scientifique sur les évolutions de périmètre des analyses formelles. Par ailleurs, le poste contient les missions classiques dun ingénieur-chercheur dun laboratoire dévaluation: participation aux réunions de lunité, reporting dactivité, gestion de projet, amélioration continue des procédés, contribution à lamélioration du système Qualité