Internship: Safety-Critical Software Testing & QA

AdaCore; Toulouse; On-site; EUR 8,900 - 13,000; Full time

Benefits offered by this job

On-site Toulouse office

Training opportunities

International team

Job summary

AdaCore in Toulouse is offering a 6-month internship focused on improving test data methods for high-integrity software. You will collaborate with the certification team and work with AdaCore products, runtimes, compilers, and analysis tools.

The role emphasizes simplicity, scalability, and hands-on tooling development. You will design processes to extract test data, evaluate completeness and confidence, and translate findings into actionable plans that improve test coverage and reduce technical

Qualifications

• Proficiency in Python and version control (Git).
• Interest in safety-critical software and verification testing.
• Familiarity with Ada/C/C++/Spark is a plus.
• Willingness to work in a multilingual, collaborative environment.

Responsibilities

• Design a method to identify test data and coverage for AdaCore's test suites.
• Collect data from internal git repositories to quantify completeness.
• Develop tooling to implement the data collection and analysis process.
• Evaluate test data to assess technical debt and propose improvements.
• Automate evaluation of new tests if time permits.

Skills

Python

Git

English

Ada/C/C++/Spark

NLP

Software safety

Education

CS student

Tools

GitLab

GitHub

Job description

AdaCore in Toulouse is offering a 6-month internship focused on improving test data methods for high-integrity software. You will collaborate with the certification team and work with AdaCore products, runtimes, compilers, and analysis tools.

The role emphasizes simplicity, scalability, and hands-on tooling development. You will design processes to extract test data, evaluate completeness and confidence, and translate findings into actionable plans that improve test coverage and reduce technical