AdaCore

www.adacore.com

2 Jobs

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.

Company Name: AdaCore
Job Title: Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows
Job Description: Job Title: Internship/Placement – GNAT DAS: AI Automated Fuzz Testing Workflows Role Summary: Assist in advancing AdaCore’s GNATfuzz fuzz testing suite by researching, prototyping, and integrating AI/LLM components. The internship focuses on improving automated fuzz testing for Ada, C, and C++ applications through AI‑driven corpus generation, project‑wide fuzzing workflows, and function signature analysis. Expectations: - Complete a research and implementation project spanning two phases (prototype and integration). - Demonstrate a strong interest in dynamic analysis and AI technologies. - Work independently while collaborating with senior developers and researchers. - Deliver functional prototypes and integrate selected features into the production tool. Key Responsibilities: 1. **Research Phase (Phase 1)** – Rapid prototyping of AI integrations: - Benchmark AI‑generated corpora vs compiler‑generated inputs. - Develop AI‑based value generation to resolve complex branch conditions. - Use AI to interpret C/C++ function signatures, identify scalar and buffer pointers, and group buffer arguments. - Design AI‑assisted project fuzzing workflows that analyze control‑flow graphs (via Clang) and coverage reports to prioritize subprograms. 2. **Integration Phase (Phase 2)** – Targeted feature implementation: - Create AI‑based corpus generators to produce diverse, boundary‑case inputs. - Build intelligent fuzzing workflow automation for large codebases, determining subprogram selection and order. - Implement AI‑assisted function signature analysis for C/C++ to improve fuzzing effectiveness. 3. **Tooling & Analysis** – Use Libclang, static parsers, and coverage data to drive AI feature selection and validation. 4. **Documentation** – Maintain clear technical documentation, experiment logs, and progress reports shared with the team. Required Skills: - Programming expertise in Ada, C, and Python. - Knowledge of dynamic fuzz testing frameworks (e.g., AFL++, RedQueen). - Understanding of large language models (LLMs) and AI integration concepts. - Experience with static analysis tools such as Libclang or Clang. - Ability to analyze control‑flow graphs, coverage metrics, and perform benchmarking. - Strong research aptitude, problem‑solving, and communication skills. Required Education & Certifications: - Bachelor’s or Master’s degree in Computer Science, Software Engineering, or a related field (or equivalent practical experience). - Coursework or experience in programming languages, software testing, and/or artificial intelligence. No specific certifications required.

Bristol, United kingdom

On site

03-02-2026