Internship/ Working Student – Digital Hardware Verification (f/m/div)

#WeAreIn to create tiny chips and big careers. The future won’t wait... why should you? Join us and make a difference. 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 * Develop Verification Models: Model the functional behavior of an IP for the purpose of verification * Functional verification: Verify consistency between the verification model and the RTL IP design using various functional verification methodologies * Formal Model Checking: Use formal model checking tools to prove properties of the RTL design Your Profile Qualifications and skills to help you succeed * Field of study: Currently enrolled in a Bachelor's or Master's program in Computer Engineering, Embedded Systems Engineering, Electronics, Electrical Engineering or similar * Skills: * Strong programming skills in scripting languages (Python preferred) * Proficiency in hardware description languages such as System Verilog and VHDL * Version control skills such as GIT are a plus * Experience: Experience with hardware description languages that support temporal logic descriptions, such as System Verilog Assertions or VLI * Knowledge: Solid understanding of digital hardware design and formal verification is required; knowledge on formal verification tools such as One Spin or Jasper gold is a plus * Language skills: Fluent English skills, both written and spoken Please attach the following documents to your application: * CV in English * Certificate of enrollment at university * Excerpt of the study regulations for the internship (if applicable) * Latest grades transcript (not older than 6 months) * High school report Important information for working students: * Working part-time: The focus is on studies. That’s why working as a student employee during lecture period is limited to a maximum of 20 hours per week. * Proper students (according to the German law) are welcome: To work as a student employee with us, you must be enrolled at a university and not have completed all of your exams or modules for your degree programme. You must not be in a semester of leave. We look forward to welcoming you to our team for at least 6 months. * You should live close to the site: For good collaboration, it is important to us that you can come to the office regularly to integrate to the team. Contact: Britta Johansson Further links: * Find out what we are looking for in your CV * Find out how the student application process works with us * Discover our student website #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. We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting. 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.