Application Engineering Intern – AI-based Formal Verification (f/m/d)

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. About the Role
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.

What You Will Do

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