Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.

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

Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à contribuer à l’amélioration de notre solution de preuve distribuée.

Systerel Smart Solver est une solution de Model Checking permettant de prouver que des propriétés sont respectées par des modèles formalisés dans le langage HLL.

La réalisation des preuves peut être plus ou moins longue selon la complexité du modèle concerné. Pour les preuves longues, Systerel a développé une solution de preuve basée sur des agents multiples répartis sur une ferme de calcul nommée Multi-Agent Smart Solver (MASS).

Intégré(e) à l’équipe de développement produit, vous aurez ainsi l’opportunité de travailler sur les fonctionnalités suivantes :

• optimisation de l’architecture orientée vers une plus grande robustesse,
• conception des moyens graphiques pour configurer, lancer et modifier l’organisation de l’ensemble des preuves qu’un utilisateur veut confier à MASS,
• définition et publication d’un ensemble d’indicateurs graphiques d’avancement,
• mailing à une liste d’utilisateurs de la progression de la preuve,
• automatisation de la distribution des preuves sur la ferme au sein d’une famille de problèmes.

Au cours de ce stage, vous serez encadré(e) par un expert en méthodes formelles, qui vous aidera à atteindre vos objectifs et à monter en compétences.

Compétences et expérience demandées

• Étudiant(e) Bac+5 avec une spécialisation logicielle
• Maîtrise des technologies web (HTML, JS, CSS, SVG)
• Maîtrise du langage Go
• Intérêt pour les mathématiques et la preuve (Model Checking, méthodes formelles)

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 !

Type de contrat & durée

Convention de stage – Durée 6 mois

Indemnités

800€ bruts + Tickets Restaurant + 50% abonnement transports en commun + prise en charge du loyer sur justificatif pouvant atteindre jusqu’à 300 € (si vous êtes amené(e) à prendre un nouveau logement pour effectuer le stage).

Lieu

Aix-en-Provence ou Toulouse (à préciser dans votre candidature).

Référence de l’Offre

• STAGE_PDT_S3_A pour Aix-en-Provence
• STAGE_PDT_S3_T pour Toulouse

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.