Certification: Revamp Test Drivers for Traceability Studies

AdaCore: Helping Developers Build Software that Matters

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.

For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical, energy, and IoT, we're adapting our proven technologies to assist a new generation of developers.

Our 150 global experts based in the US, France, Germany, the UK, and Estonia, collectively develop cutting-edge technologies to address the challenges of high-grade software development.

Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.

Context

In the context of DO-178C (aeronautics) certification, AdaCore is often called upon to provide source code to object code traceability. The aim is to gain confidence in the runtime code by ensuring the object code created is indeed coherent with the intended source code structure.

Our current infrastructure allows running traceability test suites in a serial manner, with results provided in HTML or PDF reports. Additionally, we use templates to help support reviews when analyzing these reports.

This existing workflow is no longer adapted to our evolving needs; it's inflexible and generating reports is very time-consuming. We're looking for a motivated intern to help us upgrade our infrastructure to more easily integrate various test suites and targets, as well as debugging.

Goals

The main goal of this internship is to create a new, modern testing infrastructure and workflow in Python to simplify and accelerate our traceability studies.

In close cooperation with various AdaCore experts and teams, you will:

• Create Generic Drivers: Develop new, generic drivers to replace the current ones, enabling us to efficiently build, test, and analyze runtime code.

• Build a Flexible Interface (CLI): Create an intuitive interface to easily add and update various target platforms (e.g., aarch64, riscv, etc.) and operating systems (e.g., bareboard, VxWorks, QNX, etc.).

• Support Multiple Languages: Develop an API to add and execute various language test suites, including C and Ada.

• Ensure Cross-Platform Compatibility: Guarantee the new infrastructure supports both Linux and Windows hosts.

Qualifications/Skills Required or Nice to Have

We are looking for a highly motivated student with a fair knowledge of the following topics. A solid understanding is a definite plus!

• Strong Programming Fundamentals (knowledge of Python is a big plus)

• Knowledge of Sphinx is a plus

• Development environment (gitlab, shell…)

• Basic knowledge of V-cycle

• Basic knowledge of Embedded Systems or Low-Level Programming

Timeframe & Location: 

During 2026 - 6 months - Toulouse office

Beyond the job

We're a global organization driven by diverse backgrounds, fostering innovation through an open exchange of ideas. We welcome applicants of all backgrounds, celebrating diversity in ethnicity, nationality, gender, age, religion, abilities, sexual orientation, veteran or marital status. 

Our commitment is to help our teammates, wherever they are based, feel comfortable and satisfied, by encouraging flexibility to ensure them a healthy work-life balance. Additionally, we prioritize individual development by offering continuous training from day one with a personalized onboarding plan.