Front-end/Language Design: Development of feature-based Ada conformance testsuite

Paris
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 +190 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

Historically, AdaCore has relied on the ACATS test suite as the main reference for language conformance in various Ada-based tools. This testsuite covers the standardized Ada features and is maintained by the Ada Rapporteur Group (ARG). With a growing amount of language extensions developed by AdaCore, this is no longer sufficient. Coupled with the slowdown of ACATS maintenance (to the date there is no ACATS version for Ada 2022 features) an alternative reference testsuite is required.

To fill the gap, we have set up a language conformance testsuite that is expected to cover all new language features and exercise all tools that are influenced by those features

Goals

  • Participate in developing the test drivers for tools that do not support the new conformance testsuite yet. This goal entails writing test harnesses in python.
  • Implement a solution for measuring and documenting the test coverage (feature coverage and structural coverage). This is a combined task of working with coverage tools (gnatcoverage) and developing documentation procedures.
  • Develop tests for new and existing language features. This task consists of writing annotated Ada code snippets according to the language definition.
  • Convert tests from legacy testsuites to the new framework.
Qualifications/Skills Required or Nice to Have

The work will require interacting closely with various engineers from AdaCore (mostly in English).

The applicant should have a fair knowledge of the following topics (a solid knowledge about these topics is a plus):

  • Ada or C programming (both are a plus)
  • Python programming
  • Understanding of the concepts of software testing and code coverage
  • Interest in the topic of language definition and compiler verification
Timeframe & Location:

During 2026 - 6 months - Paris/Grenoble/Tallinn

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.
Publié le 2026-02-28

Emplois Recommandés

Valet / Femme de chambre F/H

Bus Palladium
Paris 9e

Description de l'entreprise La renaissance d’un mythe. Scène iconique et alternative de Paris, le Bus Palladium fait vibrer les nuits de Pigalle depuis des décennies. En pleine me…

Voir les Détails
Publié le 2025-12-20

Expert en comptabilité H/F

CAF DE PARIS
Paris

La Caf de Paris est un acteur majeur de la politique familiale et sociale du territoire parisien. Elle est organisée de façon déconcentrée autour de 2 centres de gestion et d'agences famille, en cours…

Voir les Détails
Publié le 2026-02-28

Lacoste / Vendeur(se) en Alternance (H/F)

App-rendre
Paris

Le poste de Lacoste / Vendeur(se) en Alternance (H/F) Lacoste recherche un alternant vendeur pour rejoindre son équipe en boutique. Vous participerez à l’accueil des clients, à la vente des prod…

Voir les Détails
Publié le 2026-01-30

Approvisionneur Composants PAP Luxe H/F

Caméléons RH
Paris

Nous recherchons pour une Maison de PAP Luxe à Paris, un(e) approvisionneur composants, pour une mission 2 mois. Rattaché au responsable développement des composants, vous aurez en charge : - Calc…

Voir les Détails
Publié le 2026-02-24

COMPTABLE GÉNÉRAL (F/H)

Expectra
Paris

Votre rôle est complet : vous garantissez la sincérité et la conformité des comptes pour les différents établissements en France et à l'international. Ce poste combine une forte dimension de gestion q…

Voir les Détails
Publié le 2026-02-21

Chef de projets PV au sol - Montpellier (F/H)

Liane RH
Paris

LE CONTEXTE Filiale française d’un groupe allemand, développe des projets éoliens, solaires et hydrogènes sur l’ensemble du territoire français, positionnée comme acteur reconnu dans la production…

Voir les Détails
Publié le 2025-11-01

Executive Assistant (H/F)

LES NOUVEAUX HERITIERS
Paris

L'ENTREPRISE, CE QUI FAIT SA DIFFÉRENCE Notre entreprise partenaire accompagne les directions générales dans leurs problématiques en matière de stratégie, management et de performance organisationne…

Voir les Détails
Publié le 2025-07-23

Responsable du service coordination de la paie et du SIRH

UNIVERSITE PARIS 1 PANTHEON SORBONNE
Paris

Poste MISSIONS ET ACTIVITÉS PRINCIPALES Rattaché·e à la Directrice des ressources humaines, vous assurez la coordination des opérations de paie et du contrôle interne de la paie, au sein d'une é…

Voir les Détails
Publié le 2026-02-28

Prestation de conseil : TRANSFERT PRICING (6 mois)

Innoha
Paris

DESCRIPTIF GENERAL   La Prestation « Transfer Pricing » sera rattachée à l’organisation de la Direction Fiscale du Groupe qui est composé d’une équipe internationale d’une trentaine de personnes …

Voir les Détails
Publié le 2026-02-25

Endocrinologue CDI - Centre Médical & Dentaire - Paris 15e

Paris

Le Centre Médical et Dentaire Vaugirard MGEN - - recherche - Un ENDOCRINOLOGUE (H/F) - Poste en CDI, temps plein ou partiel - - - - Présentation du Site ou de la Direction - Implanté dans le 15ᵉ arron…

Voir les Détails
Publié le 2025-07-07