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.
Forum de recrutement de l’Ecole d’Ingénieurs du numérique (ISEP) 2021
Systerel participe au forum de recrutement de l’ISEP (Ecole d’ingénieurs du numérique) du 23 au 26 novembre 2021.
Intervention de Systerel à l’INSA Centre Val de Loire (les 9 et 10 novembre 2021)
Notre responsable du Département « Sûreté de Fonctionnement » est intervenu les 9 et 10 novembre 2021 à l’INSA (Institut National des Sciences Appliquées) Centre Val de Loire.
Apprenez à programmer vos 1ères applications en langage Ada !
Le samedi 20 novembre, les associations StarinuX et Ada-France proposent un atelier de découverte du langage Ada.
