Ingénieur système et logiciel sécuritaire H/F

Description de l'entreprise Référence : TA-PR-4539Vous avez le souhait de travailler au sein d'un collectif, dans une entreprise française à taille humaine, à la pointe des technologies ?Portée par plus de 2000 collaborateurs répartis sur 8 sites implantés dans tout l'hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts des sous-marins...

Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires sur les données de leurs projets ferroviaires. Vos missions seront de :Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureusesTester et valider les...

Lieu : Aix-En-Provence Archimede, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...

BERTIN TECHNOLOGIES est un groupe industriel européen de l'instrumentation pour des applications critiques ou scientifiques.Chaque jour, nous fournissons à nos clients des composants, des équipements et des systèmes de mesure et d'observation qui participent à l'effort collectif de création d'une industrie durable et d'une souveraineté...

Vos principales missions seront les suivantes : - Développement et intégration de logiciels embarqués en C/C++ sur microcontrôleurs ou processeurs - Rédaction des spécifications logicielles à partir des besoins fonctionnels - Mise en oeuvre et configuration d'OS temps réel - Participation aux tests unitaires, d'intégration et de validation sur cible...

Développer et maintenir des modules logiciels embarqués en C++.Participer à la définition technique et à la conception logicielle, en lien étroit avec les ingénieurs système et les architectes.Réaliser les tests unitaires et contribuer aux activités d'intégration sur cible.Garantir un code propre, fiable et conforme : revues de code, respect des...

CTS Consulting & Technical Support est une société de conseils en ingénierie et bureau d'études. L'attention réelle que nous portons a` nos consultants et le suivi personnalise´ de leurs carrières font partie des fondements de CTS Consulting & Technical Support.Sous la marque CTS, 8 entités autonomes, régionales et spécialisées font intervenir des...

Contexte de la mission :Viveris accompagne un acteur majeur du contrôle-commande dans la distribution et le transport de l'énergie électrique.Dans le cadre de projets R&D stratégiques au sein du domaine Smart Grid, nous recherchons un Ingénieur Intégrateur Vérificateur R&D ayant une solide expertise en tests d'intégration et de vérification de...

LGM est un groupe d'ingénierie spécialisé dans les solutions pour les grands projets complexes et les actifs industriels critiques.Nous accompagnons nos clients dans les défis technologiques, sécuritaires et environnementaux de l'Industrie et des Infrastructures.Portés par l'innovation et engagés pour une ingénierie durable, nous intervenons partout...

Capgemini Engineering, leader mondial des services d'ingénierie, rassemble des équipes d'ingénieurs, de scientifiques et d'architectes pour aider les entreprises les plus innovantes dans le monde à libérer leur potentiel. Des voitures autonomes aux robots qui sauvent des vies, nos experts en technologies digitales et logicielles sortent des sentiers...