AdaCore

www.adacore.com

1 Job

141 Employees

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 state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard.

For more information visit our website at www.adacore.com or click on our job offerings on this page.

Listed Jobs

Company Name: AdaCore
Job Title: Internship - IT/SSC intern: Improvement of the Adacore build system tool
Job Description: **Job Title** IT/SSC Internship – Build System Tool Improvement **Role Summary** Assist the AdaCore IT team in enhancing the ANOD build system tool, focusing on usability, performance, and testing. Work on Python code, shell scripting, and build system integration to provide a faster, more reliable tool for developers worldwide. **Expectations** - Complete the internship within a 6‑month period (2026). - Collaborate effectively with developers, QA, and operations. - Deliver clean, maintainable, typed Python code and comprehensive test coverage. - Participate in code reviews, documentation, and continuous integration pipelines. **Key Responsibilities** 1. **Usability Enhancements** - Generate and integrate shell autocompletion scripts for BASH (and other shells). - Extend sandbox management features to support new developer and standard requirements. - Modernize ANOD CLI output for readability and user comfort. 2. **Performance Optimization** - Profile and refactor Python components to accelerate critical ANOD operations. - Ensure any optimizations are backward compatible and maintainable. 3. **Testing & Quality Assurance** - Expand unit, integration, and end‑to‑end test suites covering all ANOD commands. - Implement regression detection mechanisms within the automated test framework. - Maintain full type annotations to improve static analysis and error detection. 4. **Documentation & Deployment** - Update installation guides, release notes, and developer documentation. - Work with CI/CD pipelines to support new features and regression tests. **Required Skills** - Proficient in Python (3.x) with emphasis on clean, typed code. - Experience with version control (Git, GitLab/GitHub). - Strong Unix/Linux command‑line skills; Windows familiarity is a plus. - Understanding of build systems (Make, CMake) and toolchains. - Ability to write automated tests and use coverage tools. - Excellent written and verbal communication. **Required Education & Certifications** - Bachelor’s or Master’s degree in Computer Science, Software Engineering, or related field. - No specific certifications required; familiarity with CI/CD, automated testing, and typed Python is preferred.