Infineon Technologies

Internship - AI Enabled Formal Verification

Infineon Technologies
Integrated Device ManufacturingSingaporeOnsitePosted 1 month ago

About the role

AI summarised

Gain hands-on experience in chip verification by learning and applying AI-based formal tools to develop new methodologies for semiconductor solutions.

IDMOnsiteATV

Key Responsibilities

  • Learn and evaluate AI-based formal tools for chip verification
  • Set up and test performance/coverage with actual design
  • Research new features and explore applying, replacing, or introducing formal methods in chip verification
  • Complete new methodology/development flow based on formal tool with AI capability
  • Document the new methodology and create training material for new users

Requirements

  • On track to attaining Bachelor/Masters’ Degree in Engineering, Computer Science, Information Technology, Business Analytics, or 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
  • Internship Period: Jun 26 - Dec 26