28 offres d'emploi Stage Méthodes Formelles - |
|
Lieu : Levallois-Perret
Société : IKOS GROUP
L'objectif du stage :..â?¢ Ingénieur ou Master 2 en informatique â?¢ Connaissance des bases en méthodes formelles :..
Postuler | Plus d'offres Stage Méthodes Formelles
Plus d'offres - Levallois-Perret |
Lieu : 1er Arrondissement
Société : Michael Page
la précision et la scalabilité des vérifications formelles,..Collaborer avec des équipes pluridisciplinaires pour intégrer des méthodes formelles dans les processus de conception à différents niveaux (puce et système),..
Postuler |
Lieu : Les Ulis
Société : Compagnie des Signaux - CSEE
de sécurité au cours des différentes phases du projet Participer à l'écriture des scripts de preuves formelles dans un langage de développement dédié Rédiger le catalogue de preuves et exécuter les campagnes de preuves formelles conformément aux règles de l'art ..
Postuler |
Lieu : France
Société : Michael Page
..Expertise avancée en méthodes formelles,..outils de CAO et modélisation de systèmes,..Poste :..jouer un rôle-clé dans la création et le développement d'une nouvelle équipe locale...
Postuler |
Lieu : France
Société : SERMA Safety & Security
L'objectif du stage est de concevoir et d'implémenter des modèles d'IA capables d'automatiser l'analyse de cartes électroniques et d'identifier les composants qui la constitue...
Postuler |
Lieu : Paris
Société : SERMA Safety & Security
SOC) Sûreté de fonctionnement Laboratoire de sécurité Méthodes formelles Rejoignez une équipe dynamique où vous aurez l'opportunité de travailler sur des projets passionnants et d'approfondir vos compétences dans un environnement collaboratif et à taille humaine...
Postuler |
Lieu : Paris
Société : SERMA Safety & Security
SOC) Sûreté de fonctionnement Laboratoire de sécurité Méthodes formelles Rejoignez une équipe dynamique où vous aurez l'opportunité de travailler sur des projets passionnants et d'approfondir vos compétences dans un environnement collaboratif et à taille humaine...
Postuler |
Lieu : Toulouse
Société : SERMA Safety & Security
TV) et/ou les méthodes formelles...la DGA,..Vous avez mis en pratique des normes d'au moins un domaine (CEI 61508-3,..
Postuler |
|
Lieu : Biviers
Société : DASSAULT SYSTEMES
Scade) et des méthodes formelles de type model-checking Vous êtes en capacité de communiquer en anglais tant à l'écrit qu'à l'oral...
Postuler | Plus d'offres Ingénieur de recherche Stimulus H/F
Plus d'offres - Biviers |
Lieu : Montbonnot-Saint-Martin
Société : DASSAULT SYSTEMES
plan de formation,..D'abord formalisées dans un langage proche du langage naturel,..Vous maitrisez la programmation fonctionnelle avec le langage Ocaml Vous avez des connaissances solides en théorie des langages de programmation Vous avez d'excellentes capacités d'abstraction,..
Postuler | Plus d'offres Ingénieur de recherche Stimulus H/F
Plus d'offres - Montbonnot-Saint-Martin |
Lieu : Limours 91470
Société : THALES
un vernis réseau serait un plusCE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Ce stage s’inscrit dans une volonté d’améliorer la sûreté et la performance des traitements logiciels radars,..
Postuler |
Lieu : France
Société : SERMA Safety & Security
une version améliorée d'HARDSPLOIT est actuellement en cours de développement,..SERMA SAFETY & SECURITY met à profit les compétences de sa branche R&D pour développer une gamme d'outils innovants dédiés à la détection des vulnérabilités des systèmes d'information...
Postuler |
Lieu : Valence 26000
Société : THALES
postulez !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,..
Postuler |
Lieu : Ile-de-France
Société : ALTEN
planifier et suivre les reprises documentation · Participer aux stands up meetings hebdomadaires · Mettre en place et MAJ les fiches de relectures · Participer aux revues acceptation · Signer et livrer vers le client · Leader des revues formelles de documentation et d..
Postuler | Plus d'offres Ingénieur qualité logiciels H/F)
Plus d'offres - Ile-de-France |
Lieu : Valence 26000
Société : THALES
la vérification formelle ouvre de nouvelles possibilités que nous souhaitons explorer.L'objectif du stage est ainsi la mise en œuvre d’un outil de vérification formelle sur un projet en développement...
Postuler |
Lieu : Vélizy-Villacoublay 78129
Société : THALES
notamment dans le domaine de la sécurité organisationnelle et de la gouvernance sécurité.Vos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques et de critères communs (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité Gouvernance GRC H/F
Plus d'offres - Vélizy-Villacoublay |
Lieu : Lyon 69000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantiqueVos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : Toulouse 31000
Société : THALES
C’est pourquoi,..de conception d’architecture,..Chez Thales,..Une attention portée à l’équilibre des collaborateurs au service de leur réussite...
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Toulouse |
Lieu : Lyon 69000
Société : THALES
tableaux de bord)Selon votre expérience,..mesurer et communiquer (sensibilisation,..rejoignez Thales et construisons ensemble un avenir de confiance !Le poste pouvant nécessiter d'accéder à des informations relevant du secret de la défense nationale,..
Postuler | Plus d'offres Consultant Senior Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : Vélizy-Villacoublay 78129
Société : THALES
notamment dans le domaine de la sécurité organisationnelle et de la gouvernance sécurité.Vos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques et de critères communs (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité Gouvernance GRC H/F
Plus d'offres - Vélizy-Villacoublay |
Lieu : Lyon 69000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantiqueVos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : Toulouse 31000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantiqueVos principales missions :Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS,..
Postuler | Plus d'offres Consultant Cybersécurité GRC (H/F)
Plus d'offres - Toulouse |
Lieu : Lyon 69000
Société : THALES
la gestion des risques mais aussi de l’impact cyber des innovations tel que l’IA ou le quantique.Vos principales missions :Vous encadrez et animez une équipe de consultants Vous identifiez les risques par des méthodes formelles d'analyse de risques (EBIOS RM,..
Postuler | Plus d'offres Consultant Senior Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : Champigny-sur-Marne
Société : LES NOUVEAUX HERITIERS LNH
Apporter son expertise juridique et conseiller au quotidien les collaborateurs de la DRH Proposer des solutions opérationnelles avec une analyse du risque Participer aux négociations et à la rédaction d'accords collectifs Créer des supports d'information et des modèles de documents..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Champigny-sur-Marne |
Lieu : Rosny-sous-Bois
Société : LES NOUVEAUX HERITIERS LNH
son adjointe et le responsable de mission Conduire l'instruction des dossiers individuels et collectifs confiés Assurer la relation avec les avocats chargés d'intervenir pour l'entreprise sur les contentieux et dossiers sociaux en cours Concourir à la sécurisation de l'ensemble des p..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Rosny-sous-Bois |
|
