Ada compilation toolchain targeting WebAssembly System Interface API
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
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.
