Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows
- Hiring Organisation
- AdaCore
- Location
- Newport, UK
- Employment Type
- Full-time
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 … have: Experience/interest in fuzz testing or other forms of dynamic analysis and/or compilation (GCC or LLVM) Good programming skills in Python and C (or Ada) Experience/interest in language interfaces (i.e., libclang) Solid understanding and interest in LLMs and other primary aspects of AI Timeframe ...