- Développement C
- Raisonnement mathématique
- Anglais scientifique
- Connaissance en méthodes formelles
- Connaissance en cyber-sécurité
-
Expert en Sécurité Cryptographie Embarquée
il y a 4 jours
LHH Recruitment Solutions- France permanent· Poste : LHH Recruitment Solutions, cabinet de conseil en recrutement, intérim spécialisé, management de transition et évaluation d'expert.e.s, cadres et , recherche pour son client un Expert en Sécurité Cryptographie Embarquée (f/h). · Rattaché au Responsable Sécurité du Systè ...
-
Pentester en sécurité des systèmes embarqués – H/F
il y a 6 jours
SERMA Safety and Security Île-de-France CDIPoste et missions · Nous sommes à la recherche d'un pentester expérimenté en sécurité des systèmes embarqués pour rejoindre notre équipe basée à Rennes. En tant que pentester expérimenté, votre rôle principal consistera à évaluer la sécurité des systèmes embarqués et à identifie ...
-
SERMA Safety and Security Île-de-France CDIPoste et missions · SERMA Group est un acteur indépendant français dans le conseil et l'expertise spécialisée dans les systèmes électroniques embarqués et industriels, ainsi que la sécurité des systèmes d'information par le biais de sa filiale Serma Safety & Security. · Serma Sa ...
-
Opérateur de Production Pièces Primaires
il y a 1 jour
CRIT Gennevilliers, France**à propos de l'entreprise**: · Acteur leader dans les ressources humaines et recrutement en CDD, CDI, CDII et intérim, CRIT compte aujourd'hui près de 450 agences d'emploi généralistes et spécialisées en France. · Depuis 60 ans, nous répondons aux besoins des entreprises publiqu ...
-
Chef D'équipe Pièce Primaire
il y a 1 jour
CRIT Gennevilliers, France**à propos de l'entreprise**: · Acteur leader dans les ressources humaines et recrutement en CDD, CDI, CDII et intérim, CRIT compte aujourd'hui près de 450 agences d'emploi généralistes et spécialisées en France. · Depuis 60 ans, nous répondons aux besoins des entreprises publiqu ...
-
Alternance - Prototypage Sécurité Sur Imx8 - (F/H)
il y a 1 semaine
Thales Gennevilliers, France**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 protecti ...
-
Po Api
il y a 5 jours
Pickmeup Gennevilliers, FranceNotre client, dans le secteur des médias et du web marketing est à la recherche de son futur PO API (e-commerce / CRM) · **Les missions**: · challenger la vision produit, · échanger étroitement avec les métiers et équipes partenaires (CRM, Data, Marketing, Juridique, Sécurité,... ...
-
Agent (H/F)
il y a 1 semaine
Call Services France Gennevilliers, FranceNous recherchons un agent d'assistance aux passagers à mobilité réduite (APMR) dévoué et empathique pour rejoindre notre équipe. En tant qu'APMR, vous jouerez un rôle essentiel dans la fourniture d'une assistance personnalisée aux passagers ayant des besoins spécifiques, afin de ...
-
Agent D'exploitation
il y a 4 jours
Hauts-de-seine Gennevilliers, France**Agent d'exploitation H/F**: · **Référence**: 22.806**: · **Cotation**: 7.3 Agent d'exploitation**: · **Catégorie**: · - CAdjoints techniques territ. · **Thématique**: · Logistique, infrastructure, maintenance et sécurité · **Pôle**: · EPI Voirie - Service territorial urbain 92 ...
-
Préventeur ou Préventrice Sse Unité de
il y a 1 semaine
Safran Gennevilliers, France**Description du poste**: · Vous cherchez à intégrer un milieu passionnants aux nombreux challenges quotidiens ? · Le quotidien de l'UIP de Forge des pièces tournantes vous correspondra parfaitement L'équipe est passionnée et motivée par son activité et doit régulièrement faire f ...
-
Agent de Nettoyage
il y a 1 semaine
Call Services France Gennevilliers, FranceNous sommes un centre de formation spécialisé dans les métiers aéroportuaires, et nous recherchons un agent de nettoyage aéroportuaire motivé et consciencieux pour rejoindre notre équipe. En tant qu'agent de nettoyage, vous jouerez un rôle crucial dans le maintien de la propreté ...
-
Alternance - Etude Et Développement D'un Banc de
il y a 1 semaine
Thales Gennevilliers, France**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 protecti ...
-
Architecte Logiciel Sénior Scorpion
il y a 1 jour
Kicklox Gennevilliers, France**L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · 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, q ...
-
Ivvqm Délégué Contact
il y a 5 jours
Thales Gennevilliers, France**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 protecti ...
-
Attaché D'exploitation
il y a 6 jours
Expectra Gennevilliers, FranceBonjour, · Je recherche pour un grand Groupe, un Attaché d'Exploitation F/H · Poste basé à Gennevilliers, être véhiculé(e) c'est mieux · Mission de 3 mois en vue d'une d'une pré-embauche · Salaire 30 ke · Diplôme bac+2 en logistique et Expérience dans les domaines de l'exploitati ...
-
Acheteur Série Industriel
il y a 6 jours
CORSAIR System Gennevilliers, FranceDescriptif du poste · Nous recherchons un acheteur industriel expérimenté. · Apporter le support opérationnel achats aux clients internes de l'organisation Achats du groupe · Garantir les performances Qualité/coûts/Délais des sujets confiés par les clients internes de l'organisat ...
-
Engineering Delivery Manager
il y a 4 jours
Thales Gennevilliers, France**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 protecti ...
-
Responsable Du Service « Offres D'ingénierie
il y a 1 jour
Kicklox Gennevilliers, France**L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · 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, q ...
-
System Engineering Manager
il y a 1 jour
Kicklox Gennevilliers, France**L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · 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, q ...
-
Fraiseur
il y a 1 semaine
ARESIA Villeneuve-la-Garenne, France**Ce qui fera votre succès**: · En tant que **Fraiseur, **vous travaillerez sur machine-outil à commande numérique 3 axes armoire **FANUC, **de manière à garantir la fabrication des pièces dans le respect du dossier de fabrication. · **Vos tâches, pour y arriver**: · - Etudier le ...
ALTERNANCE - Preuve formelle d'un logiciel embarqué de sécurité F/H - Gennevilliers, France - Thales
Description
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 :
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.