Job Description
At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.
Responsibilities:
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. The intern's responsibilities will include exploring and benchmarking tool capability, evaluating feature coverage using various open-source designs, understanding design scale limits, enhancing prompt engineering and workflows, and studying the impact of different LLMs on results. They will consolidate experiment results, findings, and observed issues into structured documentation and provide regular updates to the team.
+ Tool capability exploration & benchmarking
+ Evaluate feature coverage using various open-source desig...
Responsibilities:
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. The intern's responsibilities will include exploring and benchmarking tool capability, evaluating feature coverage using various open-source designs, understanding design scale limits, enhancing prompt engineering and workflows, and studying the impact of different LLMs on results. They will consolidate experiment results, findings, and observed issues into structured documentation and provide regular updates to the team.
+ Tool capability exploration & benchmarking
+ Evaluate feature coverage using various open-source desig...
Apply for this Position
Ready to join Cadence Design Systems, Inc.? Click the button below to submit your application.
Submit Application