Méthodes Formelles
DECEMBRE 2020

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).

Société
NOVEMBRE 2020

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.

Carrières
NOVEMBRE 2020

Salon Focéen

Malgré la crise sanitaire, Systerel poursuit ses recrutements ! Venez échanger avec nous lors du salon virtuel le Focéen le mardi 10 novembre.