AdaCore

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/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

Company Name

AdaCore

Job Title

Compiler Front-end Software Engineer

Job Description

Job Title: Compiler Front‑End Software Engineer Role Summary: Design, develop, and maintain the Ada front‑end of the GNAT compiler, creating and refining the abstract syntax tree and related components to support high‑integrity software development. Work independently and collaborate with an international team to evolve the compiler’s architecture and roadmap. Expectations: • Produce robust, well‑tested code that meets safety and security standards. • Take ownership of features from specification to delivery. • Engage in continuous learning and apply modern compiler research. • Communicate effectively with peers, stakeholders, and project leads. • Manage workload in a distributed, autonomous environment. Key Responsibilities: • Design and implement new features and bug fixes for the GNAT compiler front‑end. • Integrate changes into the toolchain, ensuring compatibility and performance. • Monitor compiler quality metrics (debugging, profiling, regression testing). • Document design decisions, usage guides, and development guidelines. • Contribute to long‑term planning, technical roadmap, and design reviews. • Collaborate with cross‑functional teams and provide technical guidance. Required Skills: • Mastery of at least one high‑level language (C, C++, Java, Ada) and strong coding discipline. • Solid understanding or avid interest in compiler theory and language analysis. • Experience with object‑oriented design, data structures, and formal grammars. • Proficiency with Linux, git, make, and continuous integration tools. • Excellent written and verbal communication in English. • Self‑organized, proactive, and comfortable with autonomous work. Required Education & Certifications: • Master’s degree in Computer Science or equivalent, or equivalent professional experience.

Paris, France

Hybrid

11-02-2026