MGEL eMevia
Signataire de la charte de la diversité

www.mgel.fr

Se connecter Adhérez en ligne

Retrouvez-nous sur

Facebook Twitter

Consulter les offres

Identifiez vous pour mettre cette annonce en favoris

Stagiaire Développement d’un SDK serveur minimal sécurisé pour OPC UA H/F

Spécialiste des métiers du logiciel critique et de la sûreté de fonctionnement recherche Stagiaire Développement d’un SDK serveur minimal sécurisé pour OPC UA H/F

EV93714

Convention de stage

Systerel imagine, conçoit et met en oeuvre depuis plus de 15 ans des solutions innovantes dans le domaine des systèmes critiques temps réel ou de sécurité. Systerel est spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement. Systerel intervient tout au long du cycle de développement des équipements en prenant en charge tout ou partie : · des études amont (études de faisabilité, analyses préliminaires de sécurité, modélisation système, définition d’architectures, guides méthodologiques…), · des activités de développement du matériel, de la spécification à la fabrication, · des activités de développement des logiciels, de la spécification à l’intégration sur cible, · des activités de vérification et validation, · de l’élaboration du dossier de sécurité jusqu’à son approbation par l’autorité de certification, · de l’évaluation de systèmes dans une optique de certification ou d’homologation. Historiquement présente dans le domaine ferroviaire, Systerel a progressivement diversifié ses domaines d’intervention et participe aujourd’hui à de grands projets dans les secteurs : ferroviaire, aéronautique et défense, énergie, systèmes d’information. Votre mission : Les attaques informatiques de systèmes industriels ont été révélées au grand public en 2010 avec l’existence de StuxNet. De telles attaques peuvent avoir des conséquences importantes, notamment quand elles concernent des Opérateurs d’Importance Vitale dans les secteurs tels que l’énergie, le transport, la distribution d’eau, etc… Ces systèmes industriels requièrent une amélioration significative de leur niveau de sécurité, afin de réduire le nombre de vulnérabilités et de limiter l’impact des attaques informatiques. Cette amélioration nécessite des logiciels sécurisés et les expertises associées. Le protocole OPC-UA (norme EN/IEC 62541) est de plus en plus répandu dans le monde industriel et devient un élément clef des systèmes industriels où il remplace les anciens protocoles propriétaires. Un des aspects importants de ce standard est qu’il intègre une composante de sécurité informatique (intégrité, confidentialité, etc.). C’est l’un des seuls standards généralistes ouverts, non-propriétaires, à en tenir compte. Au sein d’une équipe de R&D chargée de développer une pile de communication sécurisée pour le protocole OPC-UA, vous aurez en charge de développer un kit de développement pour serveur (minimal) sécurisé se servant de cette pile pour rendre les services de base de la norme OPC-UA. Ce développement inclut une phase d’architecture, de développement (langage C), d’intégration et de validation. La phase de validation sera renforcée par l’utilisation d’analyseurs de code basés sur les méthodes formelles (frama-C, Systerel Smart Solver, etc.) pour garantir des propriétés de sécurité sur le code. Cette expérience vous permettra de mettre en pratique un cycle de développement complet et de mettre en oeuvre l’utilisation d’outils d’analyse statique basés sur des méthodes formelles. Enfin ce développement sera destiné à être testé dans les automates de grands industriels faisant partie du projet de R&D.

De formation supérieure en informatique, vous avez des affinités pour le développement logiciel et la sécurité des systèmes d’information. Vous êtes curieux et le domaine des automates industriels vous intéresse. Créativité, ouverture d’esprit et rigueur sont les qualités appréciées pour ce stage. C’est un premier pas dans l’entreprise et une étape vers une embauche éventuelle. Envoyer CV et lettre de motivation par mail sous la référence : · S_DSDK_A (pour le stage sur Aix-en-Provence), · S_DSDK_P (pour le stage sur Paris).

ASAP - Stage conventionné d’une durée de 4 à 6 mois
Aix-en-Provence ou Paris

A définir

Coordonnées du contact :

Pass YAYPour obtenir les coordonnées du contact, vous devez :


Formations Emploi

Rendez-vous sur notre Agenda Emploi pour en savoir plus.

MGEL.fr Mentions légales Glossaire Plan du site RSS Contact Documents contractuels Espace Presse

Cyberplus Paiement  Cyberplus Paiement

MGEL Sécurité sociale étudiante
MGEL Mutuelle complémentaire santé étudiante soumise aux dispositions du livre II du code de la mutualité.
Inscrite au Registre National des Mutuelles sous le n° 783 332 448.