Emplois actuels liés à ALTERNANCE - Preuve formelle d'un logiciel embarqué de sécurité F/H - Gennevilliers - Thales

  • Développeur Logiciel Embarqué

    Il y a 38 minutes

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Ingénieur en Intégration de Logiciels Embarqués

    il y a 1 mois

    Gennevilliers, Île-de-France THALES Temps plein

    QUI SOMMES-NOUS ?Thales est un leader mondial dans le domaine de la technologie, offrant des solutions innovantes pour les secteurs de la défense, de la sécurité, de l'aéronautique et du transport. Notre site de Gennevilliers est au cœur de la conception, du développement et du soutien des produits de radiocommunication, des systèmes de réseaux...

  • Développeur Logiciel Embarqué

    il y a 6 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Développeur Logiciel Embarqué

    il y a 2 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Développeur Logiciel Embarqué

    il y a 6 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Développeur Logiciel Embarqué

    il y a 6 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Développeur Logiciel Embarqué

    il y a 6 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Développeur Logiciel Embarqué

    il y a 6 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Développeur Logiciel Embarqué

    il y a 4 heures

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Ingénieur Logiciel Embarqué Temps Réel

    il y a 2 semaines

    Gennevilliers, Île-de-France THALES Temps plein

    Qui sommes-nous?Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique.Nos engagementsUne réussite commune portée par notre culture et excellence technologique, votre expérience et notre ambition partagéeUn package de...

  • Développeur Logiciel Embarqué

    il y a 2 jours

    Gennevilliers, Île-de-France THALES Temps plein

    À propos de ThalesThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos...

  • Intégrateur Logiciel Temps Réel Embarqué

    il y a 2 semaines

    Gennevilliers, France Thales Temps plein

    QUI SOMMES-NOUS ?Le site de Gennevilliers est le cœur des activités de conception, et de développement et de soutien des produits et solutions de radiocommunications des Armées, des systèmes de réseaux d’infrastructures résilients et de communications par satellite, et ainsi que des solutions de cybersécurité.Intégrateur Logiciel Temps Réel...

  • Intégrateur Logiciel Temps Réel Embarqué

    il y a 3 semaines

    Gennevilliers, Île-de-France THALES Temps plein

    Qui sommes-nous?Le Centre de Compétences Hardware Tools & Engineering (HTE) est l'unité de Thales responsable de la conception, du développement et du soutien des produits et solutions de radiocommunications des Armées, des systèmes de réseaux d'infrastructures résilients et de communications par satellite, ainsi que des solutions de...

  • Ingénieur en Architecture Logicielle Embarquée

    il y a 1 mois

    Gennevilliers, Île-de-France THALES Temps plein

    QUI SOMMES-NOUS ?Thales est un leader dans la fourniture de systèmes d'information et de communication sécurisés et interopérables, dédiés aux forces armées, aux agences de sécurité et aux opérateurs critiques. Nos activités englobent les radiocommunications, les réseaux, les systèmes de protection, les systèmes d'information essentiels et la...

  • Responsable Offres Discipline Logiciel H/F

    il y a 20 heures

    Gennevilliers, Île-de-France Thales Group Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Responsable Offres Discipline Logiciel H/F

    il y a 2 jours

    Gennevilliers, Île-de-France Thales Group Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Architecte Logiciel Temps Réel Embarqué

    il y a 2 semaines

    Gennevilliers, Nanterre, France Thales Temps plein

    QUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...

  • Architecte Logiciel Temps Réel Embarqué

    il y a 2 semaines

    Gennevilliers, France Thales Temps plein

    QUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...

  • Responsable Offres Discipline Logiciel H/F

    il y a 19 heures

    Gennevilliers, Île-de-France Thales Group Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

  • Responsable Offres Discipline Logiciel H/F

    il y a 3 jours

    Gennevilliers, Île-de-France Thales Group Temps plein

    À propos de l'offreThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...

ALTERNANCE - Preuve formelle d'un logiciel embarqué de sécurité F/H

Il y a 5 mois

Gennevilliers, France Thales Temps plein

QUI SOMMES-NOUS ?

Thales propose des systèmes d’information et de communication sécurisés et interopérables pour les forces armées, les forces de sécurité et les opérateurs d’importance vitale. Ces activités, qui regroupent radiocommunications, réseaux, systèmes de protection, systèmes d’information critiques et cybersécurité, répondent aux besoins de marchés où l’utilisation des nouvelles technologies numériques est déterminante. Thales intervient tout au long de la chaîne de valeur, des équipements aux systèmes en passant par le soutien logistique et les services associés.Le site de Gennevilliers est le cœur des activités de conception, et de développement et de soutien des produits et solutions de radiocommunications des Armées, des systèmes de réseaux d’infrastructures résilients et de communications par satellite, et ainsi que des solutions de cybersécurité.

QUI ETES-VOUS ?

Vous êtes issus d'une formation ingénieur BAC+4 à dominante logicielle et vous recherchez une alternance pour 2 ans ?

Compétences souhaitées :

Développement C Raisonnement mathématique Anglais scientifique Connaissance en méthodes formelles Connaissance en cyber-sécurité

Vous savez faire preuve de Curiosité, d'enthousiasme et de ténacité ?

Alors ce poste est fait pour vous

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :

Le service CyberProtection Solutions Engineering du Thales SIX réalise l’ingénierie pour sécuriser les grands systèmes de défense nationaux et internationaux.

L'objectif de l'alternance est de développer un logiciel embarqué de sécurité qui puisse réussir une évaluation Critères Communs EAL7.

Un logiciel embarqué de sécurité est un logiciel qui s'exécute sur un composant électronique et qui assure des fonctions de sécurité pour le composant, parmi lesquelles l'injection sécurisée de données dans le composant, le stockage sécurisé de ces données, le déploiement sécurisé de ces données sur une interface, la gestion du cycle de vie du composant ou encore la gestion d'un journal de sécurité.

Pour réussir une évaluation EAL7, le développeur doit fournir à l'évaluateur un certain nombre d'éléments, dont :

- la cible de sécurité (un document qui définit le problème de sécurité et en déduit des exigences de sécurité portant sur le logiciel),

- les documents de conception du logiciel,

- le code source du logiciel,

- la preuve formelle que le logiciel satisfait ses exigences de sécurité.

L'alternant devra donc produire tous les éléments requis. Il développera le logiciel en C et fera la preuve en Coq.

L'encadrant connaît bien les Critères Communs, C et Coq. L'alternant pourra donc acquérir les compétences nécessaires pour travailler dans le domaine très prometteur des méthodes formelles appliquées à la sécurité des logiciels embarqués.

Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd’hui.