[HN] Công Ty Bán Dẫn Đa Quốc Gia Infineon Technologies Tuyển Dụng Internship - Agentic AI for Formal Verification Part-time 2026

WeAreIn to create tiny chips and big careers. Are you ready to take the first step in your career? Let&039;s shape the future together! Whether you join as a student, intern, or trainee, you&039;ll be part of something real- real projects, real impact, and real opportunities to grow. Are you in?

Your Role
Key responsibilities in your new role

Assist in automating and optimizing: Property generation
Collaborate closely with the Mentor to understand verificationchallenges
Formal result analysis and debugging
Support the application of AI agents to: Reduce manual effort in formal verification tasks
Research and evaluate Agentic AI approaches for formal verification workflows
Analyze verification outcomes and document insights and improvements
Communicate findings clearly through technical documentation and presentations
Understand the existing formal verification tools and flows
Improve efficiency and scalability of formal methods

Qualifications and skills to help you succeed

Excellent analytical and problem- solving skills
Strong interest in formal verification, automation, and AI- drivenengineering
Basic foundation in: Digital logic and hardware fundamentals, Algorithms or software engineering
Work closely with the mentor to understand assigned tasks and develop the ability to execute them independently.
Major in: Electrical Engineering, Computer Science, Computer Engineering, or a related technical discipline
Nice to Have: Exposure to formal verification concepts or tools
Currently enrolled student (Bachelor’s or Master’s)
Programming experience in one or more of the following: Python, C/C++,Other scripting or automation languages
Able to communicate in English
Nice to Have: Familiarity with AI agent frameworks or ML workflows
Able to work at least 32 hours per week and the duration is at least3‑month internship.

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.
Click here for more information about Diversity & Inclusion at Infineon.
Please let your recruiter know if they need to pay special attention to something in order to enable your participation in the interview process.
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.

APPLY HERE

Cập nhật gần nhất lúc: 2026-06-25 18:35:03