At Cadence, we are committed to driving innovation in electronic design and verification technologies. We are seeking a highly motivated Software Engineering Intern to join our Application Engineering team.
In this role, you will contribute to the exploration and development of AI/ML-driven approaches to enhance formal verification workflows, working closely with experienced engineers on cutting-edge challenges in semiconductor design and verification.
-
Contribute to the development and evaluation of LLM/ML-based approaches for formal verification workflows
-
Analyse technical data and extract meaningful insights to support verification use cases
-
Collaborate with experienced engineers to prototype and validate new concepts
-
Develop and present results, including technical documentation and reports
-
Support the integration of new solutions into existing verification workflows
-
Work closely with R&D teams to refine problem statements and advance innovative solutions
-
Currently pursuing a degree in Electrical/Electronic Engineering, Computer Science, or Computer Engineering
-
Fundamental programming skills in Python
-
Basic understanding of machine learning, generative AI, and data analysis
-
Basic understanding of formal verification concepts
-
Familiarity with Linux/Unix environments and scripting
-
Interest in applying AI/ML techniques to real-world semiconductor challenges
-
Strong analytical and problem-solving skills
-
Good communication skills and ability to work in a collaborative environment
-
Proactive, solution-oriented mindset
-
Fundamental understanding of VLSI and IC design and HDLs like SystemVerilog
-
Exposure to hardware formal verification tools such as Jasper
-
Experience verifying simple RTL designs using formal techniques
-
Familiarity with data processing frameworks or machine learning libraries
Join a team at the forefront of AI-driven innovation in functional verification. This internship provides the opportunity to:
-
Work on impactful, real-world engineering challenges
-
Gain hands-on experience with advanced verification and AI technologies
-
Collaborate with experts in both AI/ML and semiconductor verification
-
Contribute to solutions used across the global semiconductor industry
-
Fair internship compensation
-
Housing allowance for interns from abroad
-
30 days annual leave
-
Meal vouchers
-
Public transport ticket
-
Hybrid working model in a modern office environment
If you are passionate about AI and eager to contribute to next-generation verification solutions, we would love to hear from you.
