Application Engineering Intern – AI-based Formal Verification
Cadence Design SystemsJob Title
Application Engineering Intern – AI-based Formal Verification
Role Summary
Join the Application Engineering team to research and prototype AI/ML-driven approaches that improve formal verification workflows for semiconductor design. Work with R&D and experienced engineers to evaluate techniques, integrate prototypes, and document results.
Experience Level
Internship / Entry-level — intended for students or early-career candidates currently pursuing a relevant degree.
Responsibilities
Primary responsibilities include research, prototyping, and validation of ML-based verification tools and workflows.
- Develop and evaluate LLM/ML-based approaches for formal verification workflows.
- Analyze technical data and extract actionable insights for verification use cases.
- Prototype and validate concepts in collaboration with senior engineers and R&D teams.
- Prepare technical documentation, reports, and presentations of results.
- Support integration of validated solutions into existing verification workflows.
Requirements
Must-have technical skills and competencies for the role; preferred items listed after.
- Must-have: Programming skills in Python; familiarity with Linux/Unix and scripting.
- Must-have: Basic understanding of machine learning, generative AI, and data analysis.
- Must-have: Basic understanding of formal verification concepts and strong analytical/problem-solving skills.
- Good communication and teamwork skills; proactive and solution-oriented attitude.
- Preferred / Nice-to-have: Understanding of VLSI/IC design and HDLs (e.g., SystemVerilog); exposure to formal verification tools; experience verifying simple RTL using formal techniques; familiarity with ML libraries or data-processing frameworks.
Education Requirements
Currently pursuing a degree in Electrical/Electronic Engineering, Computer Science, or Computer Engineering (undergraduate level). The posting expects student status rather than completed degree; no alternative-equivalent-experience language was specified.
About the Company
Company: Cadence Design Systems
Headquarters: San Jose, California, USA
Cadence Design Systems is a global electronic design automation company that provides software, hardware, and intellectual property for designing advanced semiconductor chips. With over 25 years in the industry, Cadence is known for its innovative technology solutions and has been recognized by Fortune Magazine as one of the 100 Best Companies to Work For. The company is dedicated to solving complex technical challenges in order to enable customers to create revolutionary products and experiences.
