About the role
AI summarisedInternship role at Infineon focusing on AI-enabled formal verification for chip design. The intern will learn and evaluate AI-based formal tools, set up performance tests, and research new features to improve chip verification methodologies.
IDMFull-timeATV
Key Responsibilities
- Learn and evaluate AI-based formal tools for chip verification
- Set up and test performance/coverage with actual design
- Research on new features and explore with team members on applying/replacing/introducing formal methods in chip verification
- Complete new methodology/development flow based on formal tool with AI capability
- Documentation on the new methodology and training material for new user
- Exposure to chip verification and deployment of new tools/verification methods
Requirements
- On track to attaining Bachelor / Masters' Degree in Engineering / Computer Science / Information Technology / Business Analytics / Data Science
- Strong skills and interest in scripting and programming (Python and/or Perl)
- Aptitude for learning and defining new methodology using new development tools
- Knowledge in Artificial Intelligence / Data Mining / Machine Learning / UNIX / JIRA will be a plus
- Preferred Internship Period: Jun 26 - Dec 26