Skills

Communication Architecture

Job Specifications

L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA (Open Platform Communications Unified Architecture) open-source, S2OPC (implémentation sécurisée du standard OPC UA). OPC UA est un standard de communication qui permet l’échange sécurisé de données entre systèmes industriels.

Ce logiciel est développé en partie avec la méthode B, qui permet de démontrer la bonne implémentation concrète du modèle abstrait d’un logiciel. L’objectif de ce stage est de contribuer aux activités de preuve formelles associées au développement de ce logiciel. Intégré à l’équipe de développement Produits, vous aurez pour missions de :

Analyser les obligations de preuve générées par le modèle,
Mettre en œuvre la preuve automatique outillée et interactive,
Reprendre le modèle,
Documenter les procédures mises en œuvre et les résultats obtenus.

Vous serez encadré par un expert en méthodes formelles qui vous formera aux grands principes de l’OPC UA et l’architecture logicielle du produit S2OPC.

Type de contrat, durée & avantages

Convention de stage – Durée : 6 mois

Chez Systerel, nous proposons à nos stagiaires sur Aix-en-Provence :

Une rémunération brute totale pouvant atteindre 1 300€ (dont jusqu’à 300€ de participation aux frais de logement sous conditions et justificatifs),
Jusqu’à 5 jours de congés,
Des tickets restaurant,
La prise en charge de 50% de l’abonnement transports en commun,
La possibilité de faire du télétravail.

Vous souhaitez

Participer à des projets innovants,
Développer des compétences recherchées et en évolution permanente,
Bénéficier d’un encadrement de qualité,
Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.

Alors n’hésitez plus à nous faire parvenir votre candidature !

Profil recherché
Vous êtes :

Étudiant en dernière année d’école d’ingénieur ou à l’université avec une spécialisation méthodes formelles,
Intéressé par les mathématiques et la preuve (Model Checking, méthodes formelles),
Attiré par le travail dans un contexte industriel,
A l’aise avec l’anglais professionnel,
Rigoureux, curieux, proactif, force de proposition.

About the Company

Systerel has been creating, designing and implementing innovative solutions for over 20 years in the area of real time and safety critical systems. Its expertise is covering a wide range of skills: • Development, verification and validation or software assessment at all safety levels. • Building of a full safety case up to its approval by a certification authority. • Related activities: methodology, architectural study, tools, etc. The source of its competitive differentiation lies in its ability to combine: • Key technolo... Know more