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
Dans le cadre du développement de notre ligne de produits Systerel Smart Solver, le stage vise à explorer des solutions alternatives de Model Checking.
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. Cette solution est basée sur un solveur de type SAT, orienté sur la logique booléenne.
L’objectif du stage est d’explorer la possibilité de réaliser du Model Checking par des solveurs de type SMT à la place ou en complément des solveurs SAT.
Intégré à l’équipe de développement Produits, vous aurez l’opportunité de réaliser les missions suivantes :
- Effectuer l’état de l’art des solutions de Model-Checking basées sur des solveurs SMT,
- Analyser la compatibilité des solutions avec le langage HLL,
- Mettre en œuvre un prototype de preuve à partir des solutions sélectionnées,
- Produire une synthèse des résultats obtenus.
Vous serez encadré 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
Vous êtes étudiant en dernière année d’école d’ingénieur ou à l’université avec une spécialisation méthodes formelles. Vous avez :
- Des connaissances en Linux,
- Une compréhension et des compétences de manipulation de langages informatiques,
- De l’intérêt pour les mathématiques et la preuve (Model Checking, méthodes formelles),
- Envie de travailler dans un contexte industriel
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_Solveur_SMT_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.