Internship/Placement - GNAT DAS: AI Automated Fuzz Testing Workflows
- Hiring Organisation
- AdaCore
- Location
- Bath, Somerset, UK
- Employment Type
- Full-time
activities for both goal 1 and goal 2 will depend on the length of the internship and the results of goal 1. Goal 1: Rapid Prototyping of AI integration and assessment, for example, we might: Investigate the benefits of corpus generation via AI. Multiple directions can be taken … calls to external components, infinite main loops as seen in embedded systems, etc.) Goal 2: Targeted feature integration, for example, we might: Following the rapid prototyping/proof of concept phase, multiple directions can be taken depending on the results of goal 1to integrate the most interesting/ ...