Animation graphique de modèle formel
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, financiers ou pour l’environnement.
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.
POSTE ET MISSION
Contexte :
Systerel utilise différents outils afin de prouver formellement des propriétés sur des logiciels ou des systèmes. Lorsqu’une propriété est fausse un scénario de contre-exemple est produit sous forme de fichier texte. Ces fichiers peuvent être analysés grâce à des outils en ligne de commande. Cependant Systerel souhaite assister l’analyse et faciliter la compréhension des contre-exemples, en fournissant une représentation graphique animée des situations où des propriétés deviennent invalides. Il s’agit notamment de traiter ce sujet dans un contexte ferroviaire, où les scénarios se déroulent sur un réseau de voies de transport, avec des circulations de trains, des mouvements d’aiguillages, des changements d’état de la signalisation.
Les solutions techniques choisies pour la représentation graphique font appel aux technologies web (HTML, VueJS, CSS, SVG, …), employées de façon atypique: pas de serveur. Les connaissances mobilisées couvrent aussi bien le génie logiciel (structuration d’un programme complexe), que l’algorithmie (graphes, arbres, maîtrise du temps d’exécution). D’autre part, quelques connaissances de géométrie plane sont exploitées (trigonométrie, courbes de Bézier).
Ce stage donne donc l’occasion de participer au développement d’un logiciel de pointe, dans un cadre intellectuellement stimulant.
Objectif :
Le stage a pour objectifs de:
- réaliser un traducteur de contre-exemples HLL en animation web dans un contexte métier précis
- structurer ces travaux pour permettre leur réutilisation dans différents contextes métier
Sous la responsabilité d’un expert technique, vous aurez pour missions de:
- charger des données de contre-exemples HLL
- définir un formalisme pour l’animation web
- exprimer des contre-exemples suivant ce formalisme
- développer des outils d’analyse graphiques
- De formation ingénieur ou master en informatique logicielle (Python, Java, …)
- Maîtrise des technologies web (HTML, JS, CSS, SVG)
- Intérêt pour les mathématiques et la preuve (model checking, méthodes formelles)
- Créativité, ouverture d’esprit et rigueur sont des qualités appréciées pour ce stage
- C’est un premier pas dans l’entreprise et une étape vers une embauche éventuelle.
Vous souhaitez
- Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.
- Développer des compétences recherchées
- Relever des challenges enrichissants
- Mettre à profit votre esprit d’initiative
Alors n’hésitez pas, contactez-nous !
TYPE DE CONTRAT
STAGE
LIEU
Aix-en-Provence
REFERENCE DE L’OFFRE
Stage animation graphique de modèle formel
POSTULEZ
L’absence de réponse à certaines questions est susceptible de compromettre le bon suivi de votre candidature.
Les informations recueillies sur ce formulaire sont enregistrées dans un fichier informatisé par Systerel, 1090 rue René Descartes, 13100 Aix en Provence, responsable du traitement ayant pour finalité le suivi de votre candidature.
Seules les personnes habilitées de Systerel pourront accéder à vos données à des fins strictement internes.
Vos données seront traitées de façon confidentielle et conservées pour une durée maximale de 24 mois.
Vous pouvez accéder aux informations vous concernant, les rectifier ou demander leur effacement en vous adressant à communication@systerel.fr.