Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows
- Hiring Organisation
- AdaCore
- Location
- Greater Bristol Area, United Kingdom
solutions, including AFL++, and includes advanced branch-solving algorithms like RedQueen and Symbolic Execution. GNATfuzz targets and finds bugs in Ada applications and linked C and C++ libraries. GNATfuzz for C is also in development, and GNATfuzz for C++ will follow shortly after. As we start to round … automated dynamic analysis verification and a good understanding of large language models (LLMs) and other AI components. A good working knowledge of Ada, C, and Python is essential. Experience with static parsing language tools like Libclang is highly beneficial. Goals The internship goal is to advance the state ...