Stage Bac +5 - Implémentation sûre de protocoles de sécurité (H/F)

Stage Par Thales Communications & Security S.A.S.
  • Gennevilliers
  • Master, Bac +5
  • A négocier

Description

Site internet: http://www.thalesgroup.com

Thales est un leader mondial des hautes technologies pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 61 000 collaborateurs dans 56 pays, Thales bénéficie d'une implantation internationale exceptionnelle qui lui permet d'agir au plus près de ses clients, partout dans le monde.

Avec un chiffre d'affaires de 1,8 milliards d'euros et des références prestigieuses, Thales Communications & Security est numéro un européen des systèmes d'information et de communication sécurisés pour les marchés mondiaux de la défense, de la sécurité et du transport terrestre.
La société compte près de 7 000 salariés répartis sur 9 sites principaux en France, au service de ses clients en France et à l'international.
 
Face à la montée en puissance de la cybercriminalité, favorisée par la complexité croissante des systèmes et des réseaux, la Direction de la Sécurité des Technologies de l'Information (ITS) développe et soutient des solutions de sécurité de haut niveau pour les systèmes d'information et de communication des gouvernements, des opérateurs d'infrastructures critiques, des entreprises et de l'industrie financière.
 

Stage Bac +5 - Implémentation sûre de protocoles de sécurité (H/F)

Dans le cadre de notre développement, nous recherchons un(e) :   Stage Bac +5 - Implémentation sûre de protocoles de sécurité (H/F) Basé(e) à Gennevilliers (92)  Mission :
Thales Communications & Security travaille au développement de logiciels de sécurité pour la Défense (chiffreurs, passerelles, stations de gestion, postes multiniveaux, serveurs de sécurité) et pour l'informatique professionnelle civile. L'évolution des infrastructures vers une plus grande distribution des données et des traitements accentue le besoin en moyens de sécurité (solutions de chiffrement et fonctions associées), et suscite divers travaux en matière de schémas cryptographiques et d'implémentation sûre de protocoles de sécurité.
Il s'agit de participer à l'implémentation sûre d'un protocole de communication standard, de type SSH ou TLS, en reprenant et complétant des travaux existants, en s'appuyant sur des langages fonctionnels d'une part, et des langages d'expression d'exigences formelles d'autre part, et des systèmes de preuves automatiques ou semi-automatique.

Environnement Technique:
Développement Ocaml, Scala et / ou F#.
Connaissance des protocoles de communication sécurisé.
Connaissance des pratiques de spécification et de preuve formelle.
Connaissance des pratiques de développement logiciel.

Profil :
Vous êtes actuellement en dernière année d'école d'ingénieur ou équivalent, et vous souhaitez effectuer un stage d'une durée de 6 mois au sein d'un Groupe, avec des ambitions constantes d'innovations techniques, n'hésitez pas à postuler!

  Au sein de nos équipes, nous vous offrons : - du challenge, - des opportunités de carrière, - et des technologies innovantes pour rendre le monde plus sûr.   Together We Explore a world of possibilities *   Toutes nos offres sur : https://www.thalesgroup.com/fr/homepage/carrieres   * Repoussons les frontières du possible


--
Pour postuler :
http://thales.contactrh.com/jobs/4529/15922148

Niveau d'études: Master, Bac +5

Cf. description des missions

Découvrir la Page Entreprise

  • Thales Communications & Security S.A.S.
  • 351 abonnés
  • Thales Communications & Security S.A.S.

Ils ont travaillé ici