CLEARSY

About the Company

CLEARSY specializes in designing safety critical systems.
From design to commissioning, we develop SIL1 to SIL4 certified systems. Our expertise includes data validation, system verification and safety demonstration. Also we promote the formal B method that has the potential to disrupt safety critical system development.

CLEARSY proposes solutions to increase passenger flow and safety of the busiest commuter lines, improve train operation safety, reduce costs incurred by safety system development and verify safety critical systems

CLEARSY is now passing a new milestone, thanks to the acquisition on July 2018, of the company ERSA, known by its competencies in the main lines. it has used its software architecture, development and design skills to translate the complex detail of European Interoperability’s ERTMS / ETCS / EVC specications into a suite of tools which are supplied now by CLEARSY.

#CLEARSY

Listed Jobs

Company Name

CLEARSY

Job Title

CREATION DE TESTS AUTOMATISES POUR SIMULATEUR ERTMS F/H

Job Description

**Job Title** Creation of Automated Tests for ERTMS Simulator (F/H) **Role Summary** Develop and implement automated test suites for ERTMS (European Rail Traffic Management System) simulators. Define testing strategy, create scripts, and integrate them into a continuous integration pipeline to enhance non‑regression coverage. **Expectations** - Define a comprehensive test strategy for multiple simulator configurations. - Develop automated test cases using Squish and Python, leveraging Qt interfaces. - Integrate tests into the existing Jenkins CI process. - Collaborate closely with developers, testers, and project leads to align test coverage with product releases. - Deliver high‑quality, maintainable test code within a 6‑month internship period. **Key Responsibilities** 1. Study ERTMS standards and the architecture of CLEARSY’s simulator platforms. 2. Design and document a test strategy tailored to different simulator builds. 3. Create and maintain automated test scripts (Python + Squish) targeting critical functionalities. 4. Integrate automated tests into Jenkins, ensuring seamless CI execution and reporting. 5. Use Git for version control and collaborate in an Agile SCRUM environment. 6. Participate in test reviews, defect management, and continuous improvement initiatives. **Required Skills** - Strong experience with Squish (UI test automation). - Proficient in Python programming. - Familiarity with Qt application development. - Solid knowledge of Linux environments. - Experience setting up and maintaining Jenkins CI pipelines. - Practical knowledge of Git version control. - Working knowledge of Agile/SCRUM methodologies. - Basic understanding of railway signalling standards (ERTMS) is a plus. **Required Education & Certifications** - Master’s degree (Bac+5) in Computer Science, Software Engineering, or a related field. - No specific certifications required, though familiarity with test‑automation or railway‑industry standards is advantageous.

Aix-en-provence, France

Hybrid

12-01-2026

Company Name

CLEARSY

Job Title

MISE A DISPOSITION PUBLIQUE DE L’ATELIER B 24.04 CSP F/H

Job Description

**Job Title:** Public Release of Atelier B 24.04 CSP (M/F) **Role Summary:** Develop, package, and publish a public version of the Atelier B IDE featuring the CSSP plugin. The role involves analyzing existing code, optimizing performance and size, simplifying installation, documenting architecture, producing examples, and setting up continuous integration and delivery pipelines. **Expectations:** - 6‑month internship; minimum Bachelor +5 level (Master’s or equivalent) in Computer Science or related field. - Fluency in English for all documentation and specifications. - Ability to work independently and deliver code, documentation, and examples within schedule. **Key Responsibilities:** 1. Gather and catalogue all technical artifacts required for functional deployment. 2. Validate functionality of the existing CSSP plugin and associated infrastructure. 3. Replicate the current installation process, identify redundancies, and refine dependencies. 4. Optimize the build for size and performance; streamline packaging. 5. Establish a robust, reproducible installation procedure. 6. Document the overall software architecture and design decisions. 7. Create one or more implementation examples to demonstrate capability. 8. Publish the complete solution (code, docs, scripts, examples) to a public repository (GitHub). 9. Implement a CI/CD pipeline on the GitLab server to support automated builds and tests. 10. Prepare and maintain Markdown (with Pandoc extensions) documentation ready for CI/CD generation. **Required Skills:** - Proficient in Python and comfortable navigating legacy codebases. - Experience with version control (Git) and repository hosting (GitLab). - Familiarity with CI/CD pipelines and automated build processes. - Strong documentation skills in markdown/Pandoc; ability to produce clear, technical English text. - Understanding of packaging and deployment practices. - Basic knowledge of safety‑critical software development, particularly the B Method (advantageous but not mandatory). - Strong analytical, problem‑solving, and communication abilities. **Required Education & Certifications:** - Master’s degree (Bachelor +5) in Computer Science, Software Engineering, or equivalent. - Certification in software development or safety‑critical systems is a plus._END_

Aix-en-provence, France

Hybrid

12-01-2026

Company Name

CLEARSY

Job Title

MISE EN PLACE D’UN AGENT LLM LOCAL SPECIALISE CHEZ CLEARSY F/H

Job Description

**Job Title:** Local Specialized LLM Agent Implementation Internship **Role Summary:** Develop and integrate a customizable LLM-based system for project-specific AI agents, ensuring specialization through fine-tuning with project documentation while maintaining source attribution, performance validation, and scalability. **Expectations:** Experiment with fine-tuning strategies (e.g., continual fine-tuning, LoRA), evaluate performance, validate reproducibility, and deliver a functional AI chain prototype. Produce comprehensive documentation and a benchmark comparing tested solutions. **Key Responsibilities:** Analyze project needs and constraints; conduct technical research on LLM training methodologies; implement AI systems on CLEARSY AI Server using project documentation; collaborate with project teams to assess effectiveness; document processes and deliverables, including an integration guide. **Required Skills:** Advanced knowledge of AI, NLP, and LLM fine-tuning techniques; proficiency in Python (HuggingFace, Transformers, LangChain, PEFT, TRL); experience with software architecture, APIs, and object-oriented development; ability to perform technical research; autonomy, initiative, and scientific rigor. **Required Education & Certifications:** Master's degree or equivalent in Computer Science, AI, or related field. Certifications in AI/ML methodologies preferred.

Aix-en-provence, France

Hybrid

12-01-2026

Company Name

CLEARSY

Job Title

DEVELOPPEMENT WORKBOOK ATELIER B F/H

Job Description

**Job Title:** Workbook Developer for Atelier B **Role Summary:** Create educational workbooks for students learning the B method and Atelier B software, focusing on formal modeling, mathematical proofs, and code generation for safety-critical systems. **Expectations:** Compile existing resources, develop structured examples of increasing complexity, document in English, and establish technical and editorial frameworks for future iterations. **Key Responsibilities:** - Compile, enhance, and integrate fragmented training materials into a cohesive workbook. - Design and implement end-to-end examples covering specification analysis, formal modeling, automated/interactive proofs, code generation (C/Rust), and model animation. - Document workflows, models, and examples in Markdown, hosted via GitHub. - Collaborate with the Atelier B development team and Training team to align technical content. **Required Skills:** - Proficiency in the B method for formal software modeling. - Experience with mathematical proof assistants and scripting (Atelier B’s proof language). - Software development skills in C and familiarity with Rust. - Technical documentation skills in Markdown. - GitHub version control proficiency. - Ability to translate academic papers or web resources into clear examples. **Required Education & Certifications:** - Bachelor’s degree in computer science or engineering (Bachelor +5 equivalent). - No certifications required.

Aix-en-provence, France

Hybrid

12-01-2026