Back

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

Cadence Design SystemsCadence Design Systems·Technology / Software / Electronic Design Automation

Apply effort

<60 sec

via Aplyr Quick Apply

Posted

3 days

01

About the 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 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.

Skills & Tags

02

Aplyr's read

Cadence Design Systems excels in electronic design automation, attracting professionals passionate about integrated circuits and system-on-chip innovations.

Synthesized from recent postings & public sources

What's promising

  • Cadence is a leader in electronic design automation, providing cutting-edge tools for semiconductor design.
  • The company offers diverse career paths, from digital verification to automotive solutions engineering.
  • Cadence's global presence provides opportunities for international collaboration and growth.

What to watch

  • The niche focus on EDA may limit opportunities for those seeking broader tech roles.
  • High competition in the semiconductor industry could impact job stability and growth.
  • Frequent technical updates require continuous learning, which may be challenging for some employees.

Why Cadence Design Systems

  • Cadence's software is integral to designing advanced integrated circuits and systems on chips.
  • The company has a strong reputation for innovation in electronic design automation.
  • Cadence's partnerships with leading tech firms enhance its influence in the semiconductor industry.

Aplyr’s read is generated by AI from public sources. Was it useful?

03

About Cadence Design Systems

Cadence Design Systems

Cadence Design Systems

View company

Cadence Design Systems provides electronic design automation (EDA) software and engineering services for the design of integrated circuits, systems on chips, and printed circuit boards.

04

Similar roles