Careers
November
Recruitment forum of the ISEP School 2021
Systerel participates in the recruitment forum of the ISEP (School of Digital Engineers) from November 23rd to 26th.
Formal Methods
OCTOBER 2021
HLL language for formal verification of critical software or systems
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.
R&D
SEPTEMBER 2021
Automated software analysis for secure IoT devices with LEIA
As the number of IoT devices increases, so does the amount of IoT-related software. And more software means considerably more vulnerabilities to contend with. The CEA and Systerel are working together to develop a powerful and original smart analysis platform to guarantee the security not only of IoT devices, but also of the software associated with these devices. The research is taking place under the LEIA project, which was awarded funding through the French government’s Grand Défi instrument for technology projects.