23 offres d'emploi Stage Méthodes Formelles - |
|
Lieu : Levallois-Perret
Société : IKOS GROUP
Le stage s'inscrit dans le cadre d'activités de validation logicielle industrielles à l'aide du langage de modélisation HLL (HLL),..
Postuler | Plus d'offres Stage Méthodes Formelles
Plus d'offres - Levallois-Perret |
Lieu : 1er Arrondissement
Société : Michael Page
Expertise avancée en méthodes formelles,..encadrer des ingénieurs juniors et participer au développement stratégique des outils et méthodes de vérification,..
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
méthodes formelles ou domaine connexe,..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 : 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
gouvernance des risques,..un Groupe solide et indépendant,..En intégrant SERMA Safety and Security,..HARDSPLOIT occupe une place particulière en proposant aux pentesters une plateforme complète regroupant de multiples fonctionnalités...
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.....DCNS,..Profil et Compétences :..TI,..vous aimez vous impliquer en transverse des projets d'ingénierie complexes et participer à leur développement et à leur aboutissement...
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
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 - Montbonnot-Saint-Martin |
Lieu : France
Société : SERMA Safety & Security
L'objectif du stage est de concevoir et d'implémenter des outils d'analyse avancée pour l'étude des signaux en temps/fréquence issus des communications sur des bus de données,..
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
Alors ce stage est pour vous !CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Intégré.e au Centre de Compétences Equipements et Technologies Aéronautiques (ETA),..
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 résilience et la sécurité des systèmes d’information afin de faire face aux ruptures technologiques et aux cybermenaces.CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Au sein de Thales,..
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
qui permettent aux entreprises ainsi qu’aux gouvernements de vérifier des identités,..vous ne serez pas déçu(e) par les nombreux avantages que nous offrons à nos salariés !QUI ETES-VOUS ?Diplômé(e) d’une formation supérieure (ingénieur ou équivalent),..
Postuler | Plus d'offres Consultant Senior Cybersécurité GRC (H/F)
Plus d'offres - Lyon |
Lieu : St Chamond > Loire
Société : RANDSTAD INHOUSE LIN
...)
- Garantir la répétabilité et la reproductibilité de la mesure des moyens 3D au cours de la vie série (R&R,..
Postuler | Plus d'offres TECHNICIEN QUALITÉ CONTRÔLE H/F)
Plus d'offres - St Chamond |
Lieu : Champigny-sur-Marne
Société : LES NOUVEAUX HERITIERS LNH
procédures et modèles de référence d'actes juridiques Participer à la création de publications d'informations sur l'actualité juridique et de guides pratiques Réaliser des études et analyses juridiques et sociales Participer à la professionnalisation de la filière RH sur le ..
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
Intérim de 3 mois renouvelable.......la méritocratie,..Managé(e) par la DRH,..LE CHALLENGE QU'ELLE VOUS PROPOSE Type de contrat :..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Rosny-sous-Bois |
Lieu : Fontenay-sous-Bois
Société : LES NOUVEAUX HERITIERS LNH
En tant qu'acteur majeur et innovant,..procédures et modèles de référence d'actes juridiques Participer à la création de publications d'informations sur l'actualité juridique et de guides pratiques Réaliser des études et analyses juridiques et sociales Participer à la profess..
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Fontenay-sous-Bois |
Lieu : Noisy-le-Grand
Société : LES NOUVEAUX HERITIERS LNH
LE CHALLENGE QU'ELLE VOUS PROPOSE Type de contrat :..cette entreprise se distingue par son expertise et son engagement culturel...
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Noisy-le-Grand |
Lieu : Bry-sur-Marne
Société : LES NOUVEAUX HERITIERS LNH
Son atout majeur est son positionnement de grande maison historique et son rôle essentiel dans la préservation et la valorisation du patrimoine audiovisuel français...
Postuler | Plus d'offres Juriste Droit Social H/F
Plus d'offres - Bry-sur-Marne |
|
