Développeur de logiciel embarqué de sécurité
il y a 2 semaines
- 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.
-
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...
-
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...
-
Développeur Logiciel – Solutions Mobiles 5G
il y a 4 semaines
Gennevilliers, Île-de-France Thales Temps pleinQui 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 – Solutions Mobiles 5G
il y a 4 semaines
Gennevilliers, Île-de-France Thales Temps pleinQui 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 pleinQui 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 pleinDé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 : ...
-
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...
-
Développeur back-end H/F
il y a 4 semaines
Gennevilliers, Île-de-France Up Temps pleinDé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...
-
Responsable Intégration et Validation Logiciel H/F
il y a 4 semaines
Gennevilliers, Île-de-France Thales Temps pleinQui 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...
-
Responsable Intégration et Validation Logiciel H/F
il y a 3 semaines
Gennevilliers, Île-de-France Thales Temps pleinQUI 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 pleinDé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 pleinQui 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 pleinContexteDans 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...
-
Chef de Projet Technique Logiciel
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 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é,...
-
Ingénieur en conception logicielle
il y a 4 semaines
Gennevilliers, Île-de-France THALES Temps pleinQui 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...
-
Ingénieur Développeur Logiciel IVQ
il y a 7 jours
Gennevilliers, Île-de-France THALES Temps pleinConsulter 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 pleinPré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 pleinQui 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...
-
Responsable Sécurité et Prévention HSE
il y a 4 semaines
Gennevilliers, Île-de-France Grands Moulins de Paris Temps pleinTitre 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 pleinDé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,...