Internship - AI Enabled Formal Verification at Infineon Technologies AG Australia

, , Singapore -

Full Time

Start Date

Immediate

Expiry Date

26 Jun, 26

Salary

0.0

Posted On

28 Mar, 26

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Verification, AI-Assist, Scripting, Programming, Python, Perl, Chip Verification, Data Mining, Machine Learning, UNIX, JIRA

Industry

Semiconductor Manufacturing

Description

The intern will assist the Automotive team to evaluate and develop formal verification methodology with AI-assist and state-of-the-art tools. Your Role Key responsibilities in your new role 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 Internship Learning Outcomes 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 Your Profile Qualifications and skills to help you succeed 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 Contact: Hillary Woo #WeAreIn for driving decarbonization and digitalization. As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener. Are you in? We are on a journey to create the best Infineon for everyone. This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We base our recruiting decisions on the applicant´s experience and skills. Learn more about our various contact channels. Please let your recruiter know if they need to pay special attention to something in order to enable your participation in the interview process. Click here for more information about Diversity & Inclusion at Infineon.

How To Apply:

Incase you would like to apply to this job directly from the source, please click here

Responsibilities

The intern will support the Automotive team by evaluating and developing formal verification methodologies utilizing AI assistance and state-of-the-art tools. Key tasks include learning and testing AI-based formal tools for chip verification and researching new features for applying formal methods.