Home
Jobs
SYSTEREL
Automatisation des processus de programmation et de validation pour APS F/H

Automatisation des processus de programmation et de validation pour APS F/H

Hybrid

Aix-en-provence, France

€ 863 /month

Internship

22-01-2026

Share this job:

Score my CV

Skills

Python

Job Specifications

L’objectif de ce stage est de participer à la construction d’une preuve de concept d’outils visant à moderniser et renforcer nos processus de programmation d’Automates Programmables de Sécurité (APS).

Sur la base d’un même modèle du fonctionnel, deux outils sont à prototyper :

Un générateur APS : outil de traduction du modèle fonctionnel en langage pour automate programmable (IEC 61131-3),
Un générateur HLL (High Level Language) : outil de traduction du modèle fonctionnel en langage HLL, un langage de modélisation utilisé pour la mise en œuvre de méthodes formelles.

Ce stage s’inscrit dans une stratégie d’amélioration du processus de programmation des APS :

En automatisant leur programmation via des langages de programmation adaptés,
En utilisant des méthodes formelles pour valider l’implémentation de l’application sur la cible.

Intégré à l’équipe de développement Produits, vous aurez pour missions de :

Définir un langage de modélisation fonctionnelle adapté,
Prototyper un générateur de code pour APS,
Prototyper un générateur de modèle HLL,
Effectuer une validation fonctionnelle et formelle d’un APS.

Vous serez encadré par des ingénieurs du département Produit, experts dans les domaines de la programmation APS et de l’utilisation des méthodes formelles.

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é
Pour ce stage, vous êtes :

Etudiant en dernière année d’école d’ingénieur ou à l’université avec une dominante logiciel,
Capable de développer avec des langages adaptés à l’outillage comme par exemple Python,
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