Internship - AI Enabled Formal Verification

The intern will assist the Automotive team to evaluate and develop formal verification methodology with AI‑assist and state‑of‑the‑art tools.

• 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

• On track to attaining Bachelor / Masters’ Degree in Engineering / Computer Science / Information Technology / Business Analytics / Data Science
• Strong skills and int...