Formal Methods
DECEMBER 2020

SPARK/Ada

Systerel uses SPARK/Ada formal verification technology in developments for its customers in the railway sector (EN 50128 standard).

Company
NOVEMBER 2020

The Halloween Pumpkin

The Covid19 did not prevent us from celebrating Halloween all together!
Our Social and Economic Committee took care of it by organizing a contest for the occasion.

Careers
NOVEMBER 2020

Job interview simulation programme with CERI

Systerel is delighted to help students in the Master’s degree in Software Engineering at the CERI (Centre d’Enseignement et de Recherche en Informatique, Software Education and Research Center) in Avignon in their search for a job.

Careers
NOVEMBER 2020

Focéen exhibition

Despite the health crisis, Systerel continues to recruit! Come and discuss with us at the virtual exhibition le Focéen on Tuesday 10 November.