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 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.
Compétences et expériences demandées
Pour ce stage, vous êtes :
- Étudiant 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.
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 !
Lieu
Aix-en-Provence.
Référence de l’offre
STAGE_PDT_AUTOMATE_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.