Développeur de logiciel embarqué de sécurité

il y a 2 semaines


Gennevilliers, Île-de-France THALES Temps plein
  • Vous rejoindrez l'équipe de recherche et développement de Thales, leader mondial dans le domaine de la cybersécurité.
  • L'objectif de ce stage est de développer un logiciel embarqué de sécurité en C et de faire une preuve formelle de sa sécurité en Coq.
  • Ce projet vous permettra de acquérir des compétences en programmation, en sécurité des systèmes et en preuve formelle.
  • Vous travaillerez en équipe avec des experts de la cybersécurité et de la preuve formelle.
  • Vous serez formé à l'utilisation de Coq et à la preuve formelle.

Les compétences requises pour ce stage sont une bonne connaissance de la programmation en C, un raisonnement mathématique et un bon niveau en anglais scientifique.

Le stagiaire devra développer le logiciel en C, se former à Coq, développer un modèle du logiciel en Coq, écrire les théorèmes portant sur la sécurité du logiciel et prouver ces théorèmes.

L'encadrant connaît bien 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.

Vous serez accueilli dans un environnement de travail inclusif et dynamique, où vous pourrez partager vos connaissances et vos expériences avec vos collègues.



  • Gennevilliers, Île-de-France THALES Temps plein

    Découvrez notre offreNous recherchons un dévelopeur de sécurité logicielle embarquée pour rejoindre notre équipe de Thales à Gennevilliers.Compétences et qualifications requisesBAC+5CRaisonnement mathématiqueAnglais scientifiqueResponsabilitésDévelopper un logiciel embarqué de sécurité en C, suivant les spécifications fourniEffectuer une...


  • Gennevilliers, Île-de-France THALES Temps plein

    Rôle et ResponsabilitésL'entreprise THALES recherche un Responsable d'Équipe Logiciel Embarqué pour son service "Waveform Embedded Processing". Cette équipe est 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...


  • 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.Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Le Groupe...


  • 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.Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Le Groupe...

  • Développeur Logiciel

    il y a 3 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 engagements, vos avantagesUne réussite commune portée par notre culture et excellence technologique, votre expérience et notre ambition...

  • Développeur back-end H/F

    il y a 4 semaines


    Gennevilliers, Île-de-France Up Temps plein

    Développeur back-end H/F Présentation de l'offre Le groupe Up, un acteur majeur dans le domaine des solutions de paiement et de services à utilité sociale et locale, recherche un Développeur back-end H/F pour rejoindre son équipe de développement. Missions et responsabilités Au sein de notre équipe, vous serez chargé(e) de : ...


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

    Qui sommes-nous ?Thales est un leader mondial dans les systèmes d'information et de communication sécurisés et interopérables. Nous proposons des solutions pour les forces armées, les forces de sécurité et les opérateurs d'importance vitale.Nos activités couvrent la conception, le développement et le soutien de produits et de solutions de...

  • Développeur back-end H/F

    il y a 4 semaines


    Gennevilliers, Île-de-France Up Temps plein

    Développeur back-end H/F Présentation de l'offre Nous recherchons un Développeur back-end H/F pour rejoindre notre équipe de développement. Vous serez chargé de concevoir, développer et déployer les solutions de notre application Web. Compétences requises Pour répondre à cette mission, vous devez avoir une très bonne communication avec les...


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

    Qui sommes-nous ?Thales est une entreprise leader dans le domaine de la sécurité et de la défense. Nous proposons 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.Nos activités couvrent la conception, le développement et le soutien de...


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

    QUI SOMMES-NOUS ? Thales est un chef de file dans le domaine de la sécurité et de la défense. Nous proposons des solutions innovantes pour les forces armées, les forces de sécurité et les opérateurs d'importance vitale. Notre équipe de conception et de développement travaille dur pour créer des systèmes d'information et de communication...


  • Gennevilliers, Île-de-France THALES Temps plein

    Développez votre expertise en ingénierie logicielle avec ThalesThales recherche un ingénieur logiciel pour rejoindre notre équipe de conception et de développement d'applications embarquées. Votre mission consistera à évaluer et à optimiser l'empreinte carbone des scénarios Edge Computing sur un système embarqué.Compétences...

  • Responsable IVQ logiciel

    il y a 1 mois


    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. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos engagements,...

  • Développeur de chantier

    il y a 2 semaines


    Gennevilliers, Île-de-France Colas France - Territoire Ile-de-France Normandie Temps plein

    ContexteDans le cadre d'une équipe travaux, vous serez accompagné par un chef de chantier sur un poste de développeur de chantier.Votre missionVos principales missions sont les suivantes :Établir un planning de chantierÉvaluer les coûts d'un chantierEffectuer les mesures du terrainParticiper à l'analyse de faisabilité technique des...


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

    Qui sommes-nous ?Thales est un leader mondial dans les 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.Nos activités, qui regroupent radiocommunications, réseaux, systèmes de protection, systèmes d'information critiques et cybersécurité,...


  • Gennevilliers, Île-de-France THALES Temps plein

    Qui sommes-nous ?Thales est une entreprise leader dans les domaines de la défense, de la sécurité et de l'aérospatiale. Nous sommes à la recherche d'un Architecte logiciel pour rejoindre notre équipe de conception logicielle.Poste basé à Gennevilliers (92)Qui êtes-vous ?Vous êtes un diplômé d'une école d'ingénieur (ou équivalent Bac+5) dans...


  • Gennevilliers, Île-de-France THALES Temps plein

    Consulter le Détail de l'Offre d'EmploiL'offre d'emploi consiste en un poste de Responsable IVQ logiciel au sein de Thales. La rémunération est estimée à 85 000 euros par an.Résumé du PosteNous développons des produits et des solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Le...

  • Chef de projet sécurité

    il y a 4 semaines


    Gennevilliers, Île-de-France Grands Moulins de Paris Temps plein

    Présentation du posteNous recherchons un.e Chef de projet sécurité pour rejoindre notre équipe de Gennevilliers. Vous serez rattaché.e au Responsable QHSE du site et chargé.e de la déclinaison et du déploiement de la politique Sécurité Groupe sur le site.MissionsAccompagnement terrain des managers et des salariés dans la prévention des risques...

  • Architecte Logiciel

    il y a 4 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.Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Le Groupe...


  • Gennevilliers, Île-de-France Grands Moulins de Paris Temps plein

    Titre du PosteVous êtes un professionnel expérimenté en matière de sécurité et de prévention, et vous cherchez un nouveau défi ?Nous recherchons un(e) responsable sécurité et prévention HSE pour rejoindre notre équipe à Gennevilliers.MissionsAccompagner les managers et les salariés dans la prévention des risques sur les postes de travailMettre...

  • Développeur back-end

    il y a 1 semaine


    Gennevilliers, Île-de-France Up Temps plein

    Découvrez notre offreL'entreprise Up, spécialisée dans les services financiers et sociaux locaux, recherche un développeur back-end pour rejoindre son équipe en constante évolution. Intitulé du poste : Développeur back-end H/F Type de contrat : CDI Description de la mission :Au cœur d'une équipe stimulante, vous serez chargé(e) de concevoir,...