Internship - GNATfuzz fuzzing embedded C

AdaCore; Paris; Hybride; EUR 12 000 - 19 000; Plein temps

Résumé du poste

AdaCore in Paris is seeking a Software Engineering intern to help extend GNATfuzz embedded fuzzing capabilities to C codebases. You will join a distributed team across Paris and Bristol, contributing to design, implementation and testing of a new feature set.

You will work with Python and low-level languages (C/C++, Ada, or Rust), gain embedded knowledge, and practice English communication in a multinational setting.

Qualifications

• Proficient in Python and low-level languages (C/C++, Ada, or Rust).
• Strong written and spoken English.
• Basic embedded knowledge with OO design understanding.

Responsabilités

• Design and implement extensions to GNATfuzz for embedded C codebases.
• Collaborate with distributed teams in Paris and Bristol to deliver the solution.
• Contribute to testing and validation of the new fuzzing features.

Connaissances

Python

C/C++

Ada

Rust

English (written and spoken)

Embedded knowledge

Object-oriented programming

Description du poste

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 +190 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

Developed at AdaCore, the GNAT DAS tool suite includes GNATfuzz an advanced fuzz testing solution for Ada applications. GNATfuzz was designed to utilize multiple backend fuzz testing solutions, including AFL++, and includes advanced branch-solving algorithms like RedQueen and Symbolic Execution. GNATfuzz targets and finds bugs in Ada and C.

We recently introduced an experimental fuzzing solution for running testing campaigns on embedded Ada codebases. To broaden the programming language support of this state-of-the-art automated software testing tool, the next development phase involves extending these embedded fuzzing capabilities to C codebases. Working as part of a distributed team across Paris and Bristol, your responsibility will be to design and build upon this existing solution.

Goal

The internship goal is to extend GNATfuzz's embedded-device fuzzing capabilities to support C codebases. You will be responsible for designing and extending the existing solution in a distributed team between Paris and Bristol, thus good English written and verbal communication is required. The internship is divided into multiple phases.

Phases

• Market research and design: Search for similar existing projects to assess feasibility and get examples to design an embedded fuzzing solution for C.
• Discuss and validate technical solutions: Justify technical choices and solutions fitting with the existing ones by writing a design document.
• Implement the solution using your design document: Using the design document written in the phases before, iteratively implement your ideas as a documented solution.
• Validate the implementation: Write a complete test suite (unit and integration tests) to validate the implementation.

Required skills

• Good programming skills in Python and low-level languages (C/C++, Ada, or Rust)
• Good written and oral English
• Basic embedded knowledge
• Understanding of object‑oriented programming

Nice to have

• Basic understanding of fuzzing
• Understanding of QEMU
• Basic understanding of compiler architecture

Timeframe & location

• Timeframe: starting 2027 - for 6 months
• Location: 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.