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 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 **What We Are Looking For (Essential)** --------------------------------------- ### **Education \& Technical Skills** * 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 ### **Core Competencies** * 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 **Nice to Have (Preferred)** ---------------------------- * 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 **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 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 **Benefits We Offer** --------------------- * 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 **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.** -------------------------------------------------------------------