Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
Produits
-
Safe & Secure OPC
Implémentation libre et sécurisée du protocole OPC-UA
-
Systerel Smart Solver
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
-
OVADO 2
Validation formelle automatisée de données de configuration
-
Systerel IXL Builder
Conception d’automatismes formellement prouvée + génération automatique du code cible
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
SPARK/Ada
Systerel utilise la technologie de vérification formelle SPARK/Ada dans le cadre de développements pour ses clients dans le secteur ferroviaire (norme EN 50128).
Recrutement : Réalité Virtuelle Immersive
Grâce à la Réalité Virtuelle Immersive, les étudiants pourront venir à notre rencontre sur notre stand virtuel pour découvrir la richesse de nos métiers et nos offres d'emploi.
La citrouille d’Halloween
Le Covid19 ne nous a pas empêché de fêter Halloween tous ensemble !
Notre Comité Social et Économique y a veillé en organisant un concours pour l’occasion.
