About Cadence

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Cadence plays a critical role in creating the technologies that modern life depends on. We are a global electronic design automation company, providing software, hardware, and intellectual property to design advanced semiconductor chips that enable our customers create revolutionary products and experiences. Thanks to the outstanding caliber of the Cadence team and the empowering culture that we have cultivated for over 25 years, Cadence continues to be recognized by Fortune Magazine as one of the 100 Best Companies to Work For.

About the Role

The intern will support our team in developing and validating the Spec to Formal Verification workflow. We have multiple solutions internally that require extensive experiments and validation to accelerate maturity and improve field readiness.

Responsibilities

• Support development and validation of the Spec to Formal Verification workflow
• Explore and benchmark tool capability
• Evaluate feature coverage using various open-source designs
• Understand design scale limits
• Enhance prompt engineering and workflows
• Study the impact of different LLMs on results
• Consolidate experiment results, findings, and observed issues into structured documentation
• Provide regular updates to the team

Tool Capability Exploration & Benchmarking

• Evaluate feature coverage using various open-source designs
• Understand the design scale limits and constraints tool can handle

Prompt Engineering & Workflow Enhancement

• Explore prompt strategies to improve Spec → FV quality, stability, and reusability
• Study how different prompt styles impact tool success rate and output quality

LLM Impact Study

• Compare different LLMs and identify how they influence results (quality / determinism / scalability)

Expected Outcomes (6-Month Deliverables)

• A structured evaluation report comparing solutions on open-source designs and different scales
• Best-practice guide for Spec → FV flow
• A consolidated issue & improvement list for RD tracking
• An internal sharing session

Equal Employment Opportunity

Cadence is committed to equal employment opportunity throughout all levels of the organization. Cadence is proud to be an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, sex, age, national origin, religion, sexual orientation, gender identity, status as a veteran, basis of disability, or any other protected class.

Accessibility

We welcome your interest in the company and want to make sure our job site is accessible to all. If you experience difficulty using this site or to request a reasonable accommodation, please contact staffing@cadence.com.

E-Verify

Cadence participates in the E-Verify program in certain U.S. locations as required by law.