Systerel Tech Stack

Formal methods and safety-critical systems engineering for rail, defense, and aviation

Software Development Aix-en-Provence, Provence-Alpes-Côte d’Azur 51–200 employees Founded 2001 Privately Held

Systerel designs and validates safety-critical systems using formal methods (B method, Model Checking) and domain-specific languages (SCADE, Ada) for regulated industries—rail signaling, avionics, nuclear defense. The tech stack (C, Ada, SCADE, OCaml, Python) and active projects (nuclear defense systems, railway automation, ISO 27001 rollout) reflect a compliance-heavy, engineering-centric operation focused on certification and formal verification rather than product scaling. Current pain points center on ISO 27001 compliance and expanding formal methods delivery—suggesting internal process maturity work alongside customer projects.

Tech Stack 23 technologies

Core StackC++ Python Linux Java Maven JUnit JavaScript Vue GitLab Jenkins C Ada SCADE Unix Windows macOS Eclipse XSLT Git Mercurial Xtext SVG OCaml

What Systerel Is Building

◆Challenges

Maintaining quality standards for critical systems
Expanding fmds activities
Meeting safety regulatory requirements
Identifying software failures
Iso27001 compliance
Work method rationalization
Ensuring compliance with safety regulations

▲Active Projects

New generation nuclear defense systems
Test environment development
Quality audit of projects
Maintaining iso 9001 certification
Training on quality system
Automation of railway systems
Database evaluation for safety
Iso27001 compliance rollout
Internal web tool development
Efficiency improvement initiative

Hiring Activity

Minimal15 roles · 0 in 30d

Department

Engineering

Security

Seniority

Mid

Junior

Senior

Company intelligence

Find more companies like Systerel by tech stack, pain points and active projects

Get started free

About Systerel

Systerel is a 51–200 person engineering firm based in Aix-en-Provence, France, founded in 2001. The company specializes in designing, verifying, and certifying software for safety-critical and real-time systems across rail, aeronautics, defense, and nuclear sectors. Its core offering is formal verification and validation of safety-critical systems, often bundled with full safety-case documentation for regulatory approval (DO-178B, CENELEC, IEC 61508, MIL-STD). Systerel also sells commercial products like Smart Solver (formal validation of critical configuration data) and BLAST (railway balise calculation automation). The organization operates as a project-driven, engineering-led team with mid-level and junior engineers; current work includes nuclear defense systems, railway automation, and internal ISO 27001 certification.

HeadquartersAix-en-Provence, Provence-Alpes-Côte d’Azur

Company Size51–200 employees

Founded2001

Hiring MarketsFrance

Frequently Asked Questions

What tech stack does Systerel use?

Primary languages: C, Ada, C++, Python, SCADE, OCaml. Tools: Eclipse, Maven, Git, GitLab, Jenkins, Xtext, JUnit. Operating systems: Linux, Unix, Windows, macOS.

What is Systerel working on?

Active projects: new generation nuclear defense systems, railway automation, test environment development, ISO 27001 compliance rollout, database evaluation for safety-critical systems, quality audits, and internal process automation.