Stage BAC+5 : Définition et implémentation d'un protocole sûr d'administration d'équipements (H/F)

Description de l'offre

Dans le cadre de notre développement, nous recherchons un(e) :   Stage BAC+5 : Définition et implémentation d'un protocole sûr d'administration d'équipements (H/F)
  Lieu : Thales Communications & Security – Cholet (49)     Contexte et missions :
  Au sein du domaine ITS (Sécurité des Technologies de l'Information), vous intégrerez le laboratoire Solutions de Gestion de la Sécurité (SGS) spécialisé dans le développement d'applications d'infrastructure de gestion (Gestion de parcs d'équipements et/ou d'applications, télégestion / télé-administration d'équipements, …).   Votre mission pendant le stage est de contribuer à l'implémentation sûre d'un protocole d'administration d'équipements/d'applications de type SSH. A ce titre, vous devrez réaliser les tâches suivantes : - Prise de connaissance des travaux déjà réalisés sur ce sujet - Analyse des besoins en sureté - Spécification et modélisation formelle - Implémentation en s'appuyant sur des langages fonctionnels et des langages d'expression d'exigences formelles et des systèmes de preuves automatiques ou semi-automatique.     Profil et connaissances souhaitées : Développement OCaml, F#, F* Connaissance des protocoles de communication sécurisée. Connaissance des pratiques de spécification et de preuve formelle. Connaissance des pratiques de développement logiciel.     Durée : env. 6 mois
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 :
https://thales.contactrh.com/jobs/4529/17970759

Profil recherché

Cf. description des missions

À propos de Thales Communications & Security S.A.S.

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.