Details of the offer for Ingénieur de recherche en analyse statique de code H/F about reversing at EADS Innovation Works in Suresnes

[ PROVIDED ]
EADS Innovation Works Logo

EADS Innovation Works est le réseau mondial de centres de compétences techniques (Technical Capabilities Centres) du Groupe EADS qui dirige les laboratoires de recherche et technologie (R&T), garants du potentiel d'innovation technique du Groupe, avec une priorité donnée au long terme.

La structure du réseau est conforme à la stratégie de R&T d'EADS et couvre les qualifications et domaines technologiques d'importance critique pour EADS. Dans le cadre de ses activités de recherche et de ses missions directes pour le compte d'EADS, Innovation Works est à la recherche d'un(e) Ingénieur(e) de Recherche en sécurité informatique spécialisé(e) dans l'analyse logicielle binaire et l'analyse de logiciels malveillants.

Vous viendrez intégrer l'équipe d'experts d'Innovation Works basée à Suresnes (92) dans le but de mener des recherches innovantes afin de développer ou d'évaluer les futures technologies utiles à EADS : conduire des études/recherches en amont, en apportant votre expertise et vos conseils en matière d'analyse logicielle et d'obscurcissements logiciels pour la protection des droits intellectuels appliqués aux architectures et aux cyber-technologies pour le secteur de l'aérospatial.

Ce poste vous permettra d'avoir une bonne connaissance de l'entreprise et de ses processus et par conséquent, une meilleure compréhension favorisant votre futur développement.

Vous êtes un ingénieur (ou assimilé universitaire) ou titulaire d'une thèse en informatique et avez acquis au moins une première expérience sur un poste similaire.

Vous avez de solides connaissances et expériences dans les domaines suivants :

  • Langages d'assemblage (x86, ARM, POWERPC),
  • Les programmes semantiques,
  • Codage sécurisé et en détection des failles de sécurité informatique,
  • Le langage C et Python,
  • La sécurité informatique,
  • La programmation fonctionnelle (OCaml),
  • L'analyse statique,
  • La sémantique des langages de programmation.
Apply