Now hiring

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

Munich, Bavaria, DEOnsiteFull-time
Apply with ResuMinder

Opens on the employer's site

About this role

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 workflowsAnalyse technical data and extract meaningful insights to support verification use casesCollaborate with experienced engineers to prototype and validate new conceptsDevelop and present results, including technical documentation and reportsSupport the integration of new solutions into existing verification workflowsWork closely with R&D teams to refine problem statements and advance innovative solutions What We Are Looking For (Essential)

Education & Technical Skills

Currently pursuing a degree in Electrical/Electronic Engineering, Computer Science, or Computer EngineeringFundamental programming skills in PythonBasic understanding of machine learning, generative AI, and data analysisBasic understanding of formal verification conceptsFamiliarity with Linux/Unix environments and scripting Core Competencies

Interest in applying AI/ML techniques to real-world semiconductor challengesStrong analytical and problem-solving skillsGood communication skills and ability to work in a collaborative environmentProactive, solution-oriented mindset Nice to Have (Preferred)

Fundamental understanding of VLSI and IC design and HDLs like SystemVerilogExposure to hardware formal verification tools such as JasperExperience verifying simple RTL designs using formal techniquesFamiliarity with data processing frameworks or machine learning libraries Career Benefits and Growth

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 challengesGain hands-on experience with advanced verification and AI technologiesCollaborate with experts in both AI/ML and semiconductor verificationContribute to solutions used across the global semiconductor industry Benefits We Offer

Fair internship compensationHousing allowance for interns from abroad30 days annual leaveMeal vouchersPublic transport ticketHybrid working model in a modern office environment Apply Today

If you are passionate about AI and eager to contribute to next-generation verification solutions, we would love to hear from you.

We're doing work that matters. Help us solve what others can't.

Skills

Software Engineering

Ready to apply?

Install the ResuMinder extension and we'll auto-fill the application in seconds — no rewriting.

See how your CV scores