Job Specifications
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:
AdaCore generates and qualifies hundreds of binary packages daily, using diverse languages and build technologies.
During this internship, you will join a dynamic team at AdaCore (IT) and learn how to build and manage the production system of secure software by improving our dedicated tool: ANOD. You will have to work with both open-source and private parts of our codebase. It is also an opportunity to contribute to a tool used by all engineers to create sandboxed environments for developing technologies, reproducing issues, and performing other tasks.
With the evolution of technologies, standards (such as SLSA), and company growth, ANOD must be continually enhanced to meet these evolving needs. We identified three main areas of improvement:
Usability (Autocompletion, better sandbox management, etc.)
Rapidity (Make common ANOD operations much faster)
Testing (Improves our testing and coverage)
Goals:
The purpose of this internship is to assist the IT team in improving the tool in the following areas. Some examples of tasks that you may perform:
Usability
Setting up shell autocompletion: It involves automatically generating the autocompletion script for BASH (and possibly others) and integrating it into our installation system.
Improving our sandbox management: it involves entering the sandbox implementation to add new features requested by AdaCore developers, standards, and others.
Modernizing the ANOD command line/output: ANOD has several commands and outputs a large amount of information. Some output can be greatly improved for better readability and user comfort.
Rapidity
Optimize some Python code to make it significantly faster: Speed is a crucial aspect of ANOD. A tool that is too slow can be costly and frustrate users.
Testing
Test all ANOD commands and behaviors: This involves thoroughly checking every function and action of the ANOD tool to ensure they operate as intended.
Detecting regressions in tool behaviors: This involves identifying any new bugs or unintended changes in the tool's functionality that may have been introduced during development or updates. The dedicated Python test suite will be designed to automatically catch these issues.
Everything should be evolutive, maintainable, and as simple as possible. The code must also be fully typed to improve our error detection.
Skills required or nice to have:
Programming in Python
Development environment (Gitlab, Github, …)
Unix Systems knowledge (Windows development is not required, but is an advantage)
Some knowledge of build systems, such as Make or CMake
Timeframe & Location:
During 2026 - 6 months - Toulouse or Paris 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.
About the Company
AdaCore's mission is to help people build software that matters.
In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a...
Know more