Quoi:

Exemple: Adjoint, Marketing
Où:

Exemple: Paris, Marseille

STAGE - Génération formelle de code cryptographique F/H


Lieu de travail: Gennevilliers, Hauts-de-Seine

. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif... communautés internes permettant de vous engager sur les sujets qui vous tiennent à cœur : innovation, diversité, environnement......

Salaire: indisponible

Entreprise: Thales

Date de l'emploi: 19 Sep 2024
Partager cet emploi sur:


Offres similaires sur fr.job-less.info:
Stage -Développeur (se) Java & Cloud - Transport - Île-de-France
Sopra Steria -

Courbevoie, Hauts-de-Seine

- - 08 Sep 2024
/fonctionnel : Java, Cloud Rejoignez notre communauté Tech'me UP et devenez un artisan du code grâce au Craftsmanship... Les apports du stage Intégration aux phases d'Intégration Continue et de Déploiement vers le Cloud. Travail en équipe...
Stage - Développeur/se Fullstack - Telecom, Medias & Entertainment - Orléans
Sopra Steria -

Orléans, Loiret

- - 08 Sep 2024
Stage - Développeur/se Fullstack - Telecom, Medias & Entertainment - Orléans Postuler maintenant Lieu il y a 14... de votre communauté métier (rencontre client, partage de savoir-faire) Les apports du stage : Découvrir des technologies innovantes...
Stage Business Analyst - Maintenance - Aéroline - Ile-de-France
Sopra Steria -

Courbevoie, Hauts-de-Seine

- - 08 Sep 2024
des correctifs/évolutions Les apports du stage Découvrir le monde industriel de l'aéronautique, ses normes... année d'école d'Ingénieurs ou universitaire ou formation équivalente, vous êtes à la recherche d'un stage de fin d'études...
Stage - Recensement et Adéquation des Moteurs Électriques H/F
Arkema -

France

- - 12 Sep 2024
un stage d'un à deux mois pour votre BTS électrotechnique ou pour votre première année d'école d'ingénieur. - Vous maîtrisez...
STAGE - Génération formelle de code cryptographique F/H
Thales -

Gennevilliers, Hauts-de-Seine

- - 19 Sep 2024
critiques. L'objectif du stage est d’évaluer des outils formels de génération de code cryptographique (fiat-crypto). Le... et vous recherchez un stage de 6 mois ? Compétences obligatoires : - Connaissance du langage C - Raisonnement mathématique...
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F
Commissariat à l'Énergie Atomique -

Essonne

- - 22 Août 2024
cryptographiques, la rétro-ingénierie, la protection de code et la preuve formelle au niveau binaire. https://list.cea.fr/fr/page...'offre Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des...
Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F
Commissariat à l'Énergie Atomique -

France

- - 21 Août 2024
cryptographiques, la rétro-ingénierie, la protection de code et la preuve formelle au niveau binaire. https://list.cea.fr/fr/page...'offre Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des...
Ingénieur expert (H/F) en modélisation formelle, simulation et analyse de systèmes cyber physiques
CNRS -

Saint-Martin-d'Hères, Isère

- €3375 - 3617 per month - 01 Sep 2024
de suivi du code. Savoir être - Capacité à s'adapter à l'évolution des exigences du projet et volonté de contribuer...
Doctorand en verification formelle (H/F)
CNRS -

Saint-Martin-d'Hères, Isère

- €2135 per month - 19 Sep 2024
Vérification de systèmes distribués paramétrés avec broadcast Le broadcast (diffusion) est un moyen important de communication utilisé dans les reseaux mobiles et sans fil. Cette these vise a developper des methodes pour la verification a...
Ingénieur Méthodes Formelles H/F
LH&TECH -

Toulouse

- €37000 - 45000 par année - 31 Août 2024
Description du poste et Missions Dans le cadre d'un nouveau projet de développement de calculateur avionique, vous serez en charge de faire de l'analyse en appliquant des méthodes formelles sur différentes fonctionnalités logicielles. Dé...


STAGE - Génération formelle de code cryptographique F/H en Gennevilliers, Hauts-de-Seine FR.Job-less.info est un moteur de recherche d'emploi en France avec une approche radicalement differente de la recherche d'emploi. Avec l'aspect et la convivialite des moteurs de recherche generaux job-less.info, il est facile pour vous de percer par mot-cle et l'emplacement des emplois qui correspondent a vos besoins avec precision. Il n'ya pas de frais pour la recherche du bon emploi pour vous.

Profitez de la recherche d'emploi!