Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F

Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F

General information

Organisation: The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas:

• defence and security
• nuclear energy (fission and fusion)
• technological research for industry
• fundamental research in the physical sciences and life sciences

CEA has 16,000 technicians, engineers, researchers and staff and operates in ten centers across France.

Reference

2025‑38312

Category

Mathematics, information, scientific, software

Contract

Internship

Job title

Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F

Subject

The internship aims to implement and improve an iterative methodology for exploring and evaluating complex critical embedded software architectures. The goal is to enhance the existing QuaRTOS‑DSE toolset by improving its formalization, interfacing with additional input models and verification tools, and integrating state‑of‑the‑art architecture strategies.

Duration

6 months

Responsibilities

• Study and analyze the current methodology formalization and framework.
• Identify limitations on hardware model integration, input model abstraction, and tool interoperability.
• Research and select APIs, languages, and tools to expand the framework’s capabilities.
• Implement an improved version of the framework and validate it against use cases.
• Apply formal verification techniques to evaluate extra functional system properties.
• Explore the use of generative AI for source‑code generation.

Methods / Means

Python, QT, PyEcore, textX, Eclipse EMF/xtext, Java

Level required

Master's degree, Bac+5 – Master of Science

Skills

Understanding of embedded critical software, knowledge of formal methods, fluent English, teamwork, curiosity.

EEO Statement

In line with CEA’s commitment to integrating people with disabilities, this job is open to all.

Site

Saclay

Location

SACLAY