Internship - Agentic AI for Formal Verification

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

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

#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.