STAGE - Ingénieur - Vérification preuve formelle FPGA - F/HStage de 6 mois à pourvoir à Valence.QUI SOMMES-NOUS ?Thales est un leader mondial des...
Location: Valence , Auverge-Rhône-Alpes
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Job Description Thèse CIFRE, sujet concernant les bus numériques de communication, plus précisément le développement d'outils de justification...
Location: Massy , Île-De-France
Language(s): French
Date Added: 15 Apr 2025
Language(s): French
Date Added: 15 Apr 2025
Thèse 153 / "Preuve formelle de performances de systèmes de communications numériques" F/HPublié 25.09.2024Société : Safran Electronics &...
Location: Mâcon , Bourgogne-Franche-Comté
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Thèse 153 / "Preuve formelle de performances de systèmes de communications numériques" F/HPublié 25.09.2024Société : Safran Electronics &...
Location: Palaiseau , Île-De-France
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Thèse 153 / "Preuve formelle de performances de systèmes de communications numériques" F/HPublié 25.09.2024Société : Safran Electronics &...
Location: Chalon-Sur-Saône , Bourgogne-Franche-Comté
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
QUI SOMMES-NOUS ?Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d''activité : Défense & Sécurité, Aéronautique &...
Location: Valence , Auverge-Rhône-Alpes
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Publiée le 05/08/ Description de l'employeur Vous êtes passionné(e) par l'Ingénierie de Systèmes et la conception fonctionnelle des...
Location: Saint-Denis , Île-De-France
Language(s): French
Date Added: 20 Apr 2025
Language(s): French
Date Added: 20 Apr 2025
Le sujet de thèse s''inscrit dans le cadre de la preuve formelle de programmes C telle que pratiquée au sein de la plateforme Frama-C développée par...
Location: Saclay , Île-De-France
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Topic description Le sujet de thèse s'inscrit dans le cadre de la preuve formelle de programmes C telle que pratiquée au sein de la plateforme...
Location: Saclay , Île-De-France
Language(s): French
Date Added: 20 Apr 2025
Language(s): French
Date Added: 20 Apr 2025
Portail > Offres > Offre UMR8243-JEMSAM0-016 - [H/F] ingénieur de recherche - développement d’une nouvelle génération d’assistants à la preuve[H/F]...
Location: Paris , Île-De-France
Language(s): French
Date Added: 23 Apr 2025
Language(s): French
Date Added: 23 Apr 2025
Description : L’entité France d’Hitachi Rail renforce ses équipes et recrute un Chargé de méthodes formelles H/F en CDI, pour son site des...
Location: Les Ulis , Île-De-France
Language(s): French
Date Added: 17 Apr 2025
Language(s): French
Date Added: 17 Apr 2025
