STAGE - Cybersécurité Preuve formelle d'un logiciel embarqué de sécurité- H/F
Il y a 2 mois
QUI SOMMES-NOUS ?
Construisons ensemble un avenir de confiance
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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 81 000 collaborateurs dans 68 pays.
Nos engagements, vos avantages
- Une réussite commune portée par notre culture et excellence technologique, votre expérience et notre ambition partagée
- Un package de rémunération attractif (épargne salariale, variable ou 13ième mois selon les postes, restaurant d’entreprise,…)
- La possibilité de développer vos compétences en continu grâce à nos parcours de formation et nos académies internes #ENTREPRISEAPPRENANTE
- Notre attention portée à votre équilibre personnel et professionnel (Accord télétravail, RTT, congés d’ancienneté, jours enfants malades, guide parentalité, crèches, CSE / ASC,… )
- Des communautés internes permettant de vous engager sur les sujets qui vous tiennent à cœur : innovation, diversité, environnement
- Un environnement inclusif et bienveillant où vous êtes accueilli et valorisé avec notre politique handi-accueillante, notre charte LGBT+, notre initiative #StOpe pour lutter contre le sexisme.
QUI ETES-VOUS ?
De formation BAC+5 vous recherchez un stage de 6 mois dans le domaine de la cybersécurité.
Compétences obligatoires :
- C
- Raisonnement mathématique
- Anglais scientifique
CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :
Le service Cyberprotection Solution Engineering effectue des études d'ingénierie de sécurité en vue de protéger les systèmes ou produits de ses clients (interne Thales). Cette ingénierie revêt différentes formes : expertise de sécurité, architecture de sécurité, ingénierie de spécification et s’appliquent sur des objets de tailles très diverses : du composant de sécurité, au produit HW/SW, jusqu’au système, le tout à des fins de protection des SI et des communications critiques.
L'objectif du 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.
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é.
Coq est un langage qui permet à la fois de développer des logiciels, d’écrire des théorèmes et d’écrire les preuves de ces théorèmes.
La stagaire 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
- 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.
Compétences obligatoires :
- C
- Raisonnement mathématique
- Anglais scientifique
Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.
Thales reconnait tous les talents, la diversité est notre meilleur atout. Postulez et rejoignez nousVoir la description des missions.
Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part.
L'intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales. Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d’une centaine de disciplines, de l’optique à la physique quantique, du traitement du signal à la connectivité et à l’intelligence artificielle. Rejoindre Thales, c’est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C’est donc être au cœur d’une formidable aventure technique.
Une attention portée à l’équilibre des collaborateurs au service de leur réussite. C’est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d’accorder la flexibilité nécessaire à l’équilibre entre vie professionnelle et vie personnelle. Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons.
Des parcours professionnels riches. Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire. C’est aussi la possibilité d’évoluer, de changer de fonction ou d’activité, voire de pays.
-
Stage - Cybersécurité Preuve Formelle D'un
Il y a 2 mois
Gennevilliers, France Thales Temps plein**QUI SOMMES-NOUS ?** **Construisons ensemble un avenir de confiance** 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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus...
-
Développeur de logiciel embarqué de sécurité
il y a 2 semaines
Gennevilliers, Île-de-France THALES Temps pleinVous 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...
-
Développeur de sécurité logicielle embarquée
il y a 7 jours
Gennevilliers, Île-de-France THALES Temps pleinDé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...
-
Stage - Génération Formelle de Code
Il y a 2 mois
Gennevilliers, France Thales Temps plein**QUI SOMMES-NOUS ?** **Construisons ensemble un avenir de confiance** 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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus...
-
Architecte Logiciel Temps Réel Embarqué
Il y a 3 mois
Gennevilliers, France Thales Temps plein**QUI SOMMES-NOUS ?** **Construisons ensemble un avenir de confiance** 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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus...
-
Responsable d'Équipe Logiciel Embarqué
il y a 4 semaines
Gennevilliers, Île-de-France THALES Temps pleinRô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...
-
STAGE - Ingénieur Logiciel Aéro - H/F
il y a 2 semaines
Gennevilliers, France THALES Temps pleinQUI 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 d'Equipe Logiciel Embarqué
Il y a 6 mois
Gennevilliers, France THALES Temps pleinQUI 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...
-
Stage - Développement D’un Banc de Test Pour Une
Il y a 2 mois
Gennevilliers, France Thales Temps plein**QUI SOMMES-NOUS ?** **Construisons ensemble un avenir de confiance** 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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus...
-
Architecte Logiciel Temps Réel Embarqué
Il y a 3 mois
Gennevilliers, France THALES Temps pleinQUI 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...
-
STAGE Développement framework logiciel temps réel
il y a 2 semaines
Gennevilliers, France THALES Temps pleinQUI 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...
-
STAGE- ingénieur Système Embarqué
il y a 2 semaines
Gennevilliers, France THALES Temps pleinQUI 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...
-
Gennevilliers, France THALES Temps pleinQUI 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...
-
Gennevilliers, France THALES Temps pleinQUI 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 mois
Gennevilliers, France THALES Temps pleinQUI 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 Intégration et Validation Logiciel H/F
il y a 4 semaines
Gennevilliers, Île-de-France Thales Temps pleinQui 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...
-
Responsable d’Equipe Logiciel Embarqué
Il y a 3 mois
Gennevilliers, France THALES Temps pleinQUI 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...
-
Stage - Développement Logiciel Robotique (H/F)
il y a 1 mois
Gennevilliers, France Thales Temps plein**QUI SOMMES-NOUS ?** **Construisons ensemble un avenir de confiance** 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. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus...
-
STAGE - Ingénieur Cybersécurité
il y a 2 semaines
Gennevilliers, France THALES Temps pleinQUI 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 6 mois
Gennevilliers, France HAYS Temps pleinDonnez un nouveau souffle à votre carrière. Dans le cadre de nouveaux projets, notre client recherche un Architecte logiciel embarqué en traitement du signal. Dans le cadre de votre poste, vos missions sont: - Responsable techniquement de l'architecture logicielle et de sa cohérence avec celle de la solution. L’architecte logiciel se coordonne avec...
