#WeAreIn to create tiny chips and big careers. Are you ready to take the first step in your career? Let's shape the future together! Whether you join as a student, intern, or trainee, you'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
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
Your Profile
Qualifications and skills to help you succeed
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.
APPLY HERE
