SYSTEREL

About the Company

Systerel has been creating, designing and implementing innovative solutions for over 20 years in the area of real time and safety critical systems.

Its expertise is covering a wide range of skills:
• Development, verification and validation or software assessment at all safety levels.
• Building of a full safety case up to its approval by a certification authority.
• Related activities: methodology, architectural study, tools, etc.

The source of its competitive differentiation lies in its ability to combine:
• Key technological expertise (B method, SCADE, Model Checking, Simulink, Ada, PikeOS)
• Rigorous development processes that comply with standards (DO178B, CENELEC, CEI61508, MIL-STD, …)
• RAMS techniques and methods specific to each industry.

The mastery of advanced technologies such as formal approaches, linked to a thorough industrial knowledge (signaling, avionics…), enables Systerel to supply highly innovative and competitive solutions for the benefit of its customers.

In particular, Systerel offers the following solutions:
• Systerel Smart Solver: automatic formal validation of critical configuration data
• BLAST: automated and parameterized solution for calculating the number of railways balises
• Systerel IXL Builder: design of formally proven automata-based systems
• Safe and Secure OPC: secure implementation of the OPC UA protocol
• OVADO2®: automatic formal validation of critical configuration data

Its ability to innovate with a commitment of results makes Systerel a strong partner of leading actors in the railway, aeronautics & space, defense, energy & industry sectors.

Listed Jobs

Company Name

SYSTEREL

Job Title

Développement d’un framework de test automatique réutilisable F/H

Job Description

**Job Title** Development of a Reusable Automatic Test Framework (Internship – M/F) **Role Summary** Internship focused on designing, implementing, and validating a modular simulation framework for automated testing of railway software and equipment, ensuring compliance with EN 50128/EN 50716 safety standards. **Expectations** * Gain hands‑on experience in simulator development and safety‑critical software testing. * Contribute to a reusable, configurable test environment that speeds up future projects. * Publish clear documentation and performance reports that satisfy international railway safety regulations. **Key Responsibilities** - Review existing simulator components and re‑use opportunities. - Define recurring requirements and formal specifications for the new simulator. - Develop simulation core: orchestration of commands, event handling, scenario and test case management. - Implement protocol‑level interfaces and logging mechanisms. - Write comprehensive user manuals and test procedures. - Perform unit, integration, and performance testing; document achievable benchmarks. - (Optional) Integrate CI pipelines in GitLab; add debug GUI and packet‑trace logging (e.g., Wireshark). **Required Skills** - Proficient in Python programming. - Understanding of communication protocols and their troubleshooting (Wireshark usage). - Experience with performance characterization and benchmarking. - Ability to produce clear technical documentation. - Professional level English written and spoken. - Strong analytical, curious, and proactive attitude; ability to propose improvements. **Required Education & Certifications** - Final‑year engineering student or university student specializing in embedded systems or a related discipline. - Basic knowledge of safety‑critical standards (EN 50128/EN 50716) is highly desirable. - No specific external certifications required.

Aix-en-provence, France

Hybrid

19-12-2025

Company Name

SYSTEREL

Job Title

Logiciel temps réel embarqué F/H

Job Description

**Job Title** Embedded Real‑Time Software Engineer (Intern) **Role Summary** A 6‑month internship focused on industrializing the open‑source OPC UA stack (S2OPC) in resource‑constrained embedded systems. Responsibilities include porting S2OPC to an STM32V8 board running Zephyr or FreeRTOS, enabling TSN features, measuring and optimizing memory and execution time, integrating with a hardware‑in‑the‑loop continuous‑integration test bench, and documenting all procedures and results. **Expectations** - Deliver a fully functional OPC UA stack on the target hardware. - Conduct performance profiling and propose concrete optimizations. - Implement TSN support as specified by the department. - Ensure seamless integration with the HIL test environment. - Produce clear, reproducible documentation and test reports. **Key Responsibilities** 1. Port S2OPC to STM32V8 board with chosen RTOS (Zephyr or FreeRTOS). 2. Configure and enable TSN features on the board. 3. Measure memory usage and execution latency; identify optimization opportunities. 4. Integrate the stack into an HIL continuous‑integration test bench. 5. Document implementation steps, performance data, and integration outcomes. 6. Collaborate with senior developers and product leads for guidance and knowledge transfer. **Required Skills** - Proficient in embedded C/C++ programming. - Experience with RTOS (Zephyr, FreeRTOS) or analogous real‑time operating systems. - Familiarity with STM32 microcontroller families. - Understanding of OPC UA architecture and security mechanisms. - Knowledge of Time‑Sensitive Networking (TSN) protocols. - Ability to perform memory/performance profiling and optimization. - Proficiency with version control systems (Git) and continuous‑integration pipelines. - Strong analytical, organized, and independent working style. **Required Education & Certifications** - Final‑year engineering student or university student specializing in embedded systems or real‑time software. - No specific certifications required; knowledge of cybersecurity practices in industrial communication is a plus.

Aix-en-provence, France

Hybrid

19-12-2025

Company Name

SYSTEREL

Job Title

Preuve formelle d’un logiciel B F/H

Job Description

**Job title** Formal Proof Engineer – OPC UA Software **Role Summary** Contribute to the industrialization of the open‑source OPC UA stack S2OPC by performing formal verification tasks. Analyze proof obligations from the B‑method model, implement automated and interactive proof scripts, maintain the model, and document results under the guidance of a formal methods expert. **Expactations** - Finalise a 6‑month internship in a development environment focused on safety‑critical industrial communication. - Deliver validated proof artifacts and comprehensive documentation of procedures and outcomes. - Apply rigorous, proactive problem‑solving and communicate results to the product team. **Key Responsibilities** - Analyze generated proof obligations from the B‑method model of S2OPC. - Implement and run automated proof scripts using available tooling. - Perform interactive proof sessions to resolve remaining obligations. - Refine and extend the B‑model as needed to support verification. - Document proof procedures, outcomes, and any model adjustments. - Collaborate with the production development team and formal methods specialist. **Required Skills** - Strong background in formal methods, especially the B‑method. - Experience with model checking, theorem proving, or similar verification techniques. - Proficiency in formal verification tools (e.g., Atelier B, Rodin, or equivalent). - Good problem‑solving skills, attention to detail, and a proactive attitude. - Ability to work independently while integrating with a multidisciplinary team. - Professional proficiency in English. **Required Education & Certifications** - Final year engineering student or university student specialising in formal methods or a related field. - No mandatory certifications; demonstrated coursework or project experience in formal verification is required.

Aix-en-provence, France

Hybrid

19-12-2025

Company Name

SYSTEREL

Job Title

Développement d’un outil de gestion de configuration cyber F/H

Job Description

**Job Title** Cyber Configuration Management Tool Development Engineer (Internship) **Role Summary** Intern responsible for developing a Global Discovery Server (GDS) OPC UA component within an industrial automation context. The role focuses on programming, testing, deployment, and documentation of secure, real‑time embedded solutions, guided by senior product experts. **Expectations** - Final year engineering or university student specializing in embedded software development or cybersecurity. - Strong analytical ability and eagerness to work in an industrial environment. - Self‑directed, detail‑oriented, and comfortable taking on challenge‑driven tasks. **Key Responsibilities** 1. Study and interpret the OPC UA GDS component specification. 2. Implement functionality using the open‑source S2OPC stack. 3. Design and execute unit/integration tests for new features. 4. Deploy and validate the GDS in a ctrlX Automation environment. 5. Produce clear technical documentation and maintain code quality. 6. Collaborate with product managers and cybersecurity experts to integrate secure certificate management. **Required Skills** - Proficiency in C/C++ programming for embedded systems. - Familiarity with OPC UA architecture, particularly GDS and security certificate handling. - Experience with real‑time embedded development and testing practices. - Ability to read and apply technical specifications. - Strong documentation and communication skills. **Required Education & Certifications** - Bachelor or Master in Engineering, Computer Science, or related field, with coursework or projects in embedded software and/or cybersecurity. - No mandatory certifications, but knowledge of industrial communication standards and cybersecurity best‑practice is highly valued.

Aix-en-provence, France

Hybrid

19-12-2025