Ada compilation toolchain targeting WebAssembly System Interface API

AdaCore; Grenoble; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

A software development company in Grenoble is seeking an intern to help develop a compiling toolchain for WebAssembly. The role involves compiling Ada sources, adapting runtime, and integrating solutions. Ideal candidates have knowledge in WebAssembly and programming, with opportunities for personalized onboarding and professional growth. The company values diversity and flexibility in the workplace.

Prestations

Continuous training

Personalized onboarding

Healthy work-life balance

Qualifications

• Familiarity with WebAssembly is beneficial.
• Basic knowledge of Ada and C programming preferred.
• Knowledge of Python programming is a plus.

Responsabilités

• Compile Ada sources to WebAssembly using GNAT-LLVM.
• Adapt Ada runtime to WebAssembly.
• Select a WebAssembly third-party emulator for validation.
• Integrate the solution into production and validation facilities.
• Document the design and its usage.

Connaissances

WebAssembly

Ada and C programming

Python programming

Emulation (qemu…)

Development environment (gitlab, shell…)

Description du poste

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

WebAssembly (Wasm) is a portable binary-code and text format for executable programs, including software interfaces for communication with their host environment. Its primary purpose is to enable high-performance web applications, but it can also be used in non-web environments. Wasm is an open standard designed to support various programming languages across different operating systems.

To provide certain functionalities (I/O, tasking, etc.), the code generated by compilers relies on runtimes. These are function libraries that link to OS services or are specific drivers in bare metal systems.

Missions & Goals

The main goal of the internship is to have an Ada compiling toolchain targeting WebAssembly including the Ada runtime to provide a minimum set of functionalities using the WASI (WebAssembly System Interface) API.

In cooperation with our experts, the purpose of this internship is to:

• Be able to compile Ada sources to WebAssembly using GNAT-LLVM
• Adapt our light Ada runtime to WebAssembly.
• Select a WebAssembly emulation third‑party that supports WASI to validate the toolchain
• Integrate the solution into our production and validation cloud facilities.
• Document this design and its usage.

Qualifications/Skills Required or Nice to Have

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

The applicant should have a fair knowledge about the following topics. Having a solid knowledge about these topics is a plus, but it is not required for the applicant to know them all before applying.

• WebAssembly
• Ada and C programming
• Python programming
• Emulation (qemu…)
• Development environment (gitlab, shell…)

Timeframe & Location

During 2026 - 6 months - Grenoble or Toulouse office

References

https://webassembly.org/

https://www.qemu.org/

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.