Notre cœur de métier est le développement de systèmes critiques, principalement pour le ferroviaire, l’industrie ou l’énergie.
Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.
Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l’envie d’apprendre dans un environnement stimulant et innovant.
Notre croissance offre de réelles opportunités d’évolution dans une structure à taille humaine.
Votre mission
L’objectif de ce stage est de contribuer à l’industrialisation d’une stack OPC UA open-source, S2OPC. 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 formelle associées au développement de ce logiciel. Intégré à l’équipe de développement Produits, vous aurez l’opportunité de participer aux tâches suivantes :
- Analyser des obligations de preuve générées par le modèle,
- Mettre en œuvre de la preuve automatique outillée et interactive,
- Reprendre le modèle,
- Documenter les procédures de mises en œuvre et des 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.
Compétences et expérience demandées
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.
Type de contrat, durée & avantages
Convention de stage – Durée : 6 mois
Chez Systerel, nous proposons à nos stagiaires à 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 !
Lieu
Aix-en-Provence
Référence de l’offre
STAGE_PDT_PREUVE_A
Des questions ?
Écrivez-nous à drh@systerel.fr
Systerel est engagée dans une politique en faveur de l’égalité hommes-femmes et de l’emploi des travailleurs en situation de handicap.