Stage BAC+5 : Portage sur ARM d'un noyau cloisonnant formellement prouvé (H/F)

Description de l'offre

Dans le cadre de notre développement, nous recherchons un(e) :   Stage BAC+5 : Portage sur ARM d'un noyau cloisonnant formellement prouvé (H/F)
  Lieu : Thales Communications & Security – Cholet (49)     Contexte et missions :
  Au sein de l'unité ITS (Information Technology Security) de THALES, vous intégrez le service en charge du développement des équipements sécurité réseaux civils et militaires, leader sur son marché. Le site Thales de Cholet, proche de Nantes et Angers, accueille 1200 collaborateurs dont 120 ingénieurs spécialisés dans la sécurité des systèmes d'informations.   Votre mission consistera à étudier le noyau MUEN (separation kernel) écrit en langage SPARK (dérivé de ADA) et prouvé formellement. Vous étudierez les services offerts par ce noyau en termes de cloisonnement et en termes de contrôle des échanges d'information entre les cloisons. Dans un second temps vous porterez le noyau MUEN sur un processeur embarqué de la famille ARM en cherchant à conserver la preuve formelle apportée par le code de MUEN quand a la bonne implémentation du noyau et de ses services.   Profil et connaissances souhaitées : Connaissance d'un (ou plusieurs) hyperviseurs (Xen, KVM, MUEN, …). Connaissance de l'architecture ARM. Connaissance de C et de l'assembleur ARM et/ou X86_64. Connaissance de Linux (comme OS invité dans MUEN). Connaissance de SPARK (ou ADA) est un plus.   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 :
http://thales.contactrh.com/jobs/4529/15448408

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.