Job Description
Required Skills:
- 5+ years in RTL design or verification (2+ years formal)
- Knowledge of System Verilog, SVA/PSL, assertions
- Experience with Jasper Gold, One Spin, or VC Formal
- Familiarity with AI/ML in EDA tools
- Hands-on with Jasper Golds Smart Proof, Visualize TM, Quiet Trace TM
- Strong customer-facing skills
Desirable Skills:
- Prior AE or customer-facing experience
- Exposure to Verisium or simulation analytics
- Python or scripting for data integration
- Cloud formal execution (e.g., AWS)
- Safety/security standards knowledge (ISO 26262, etc.)
- 5+ years in RTL design or verification (2+ years formal)
- Knowledge of System Verilog, SVA/PSL, assertions
- Experience with Jasper Gold, One Spin, or VC Formal
- Familiarity with AI/ML in EDA tools
- Hands-on with Jasper Golds Smart Proof, Visualize TM, Quiet Trace TM
- Strong customer-facing skills
Desirable Skills:
- Prior AE or customer-facing experience
- Exposure to Verisium or simulation analytics
- Python or scripting for data integration
- Cloud formal execution (e.g., AWS)
- Safety/security standards knowledge (ISO 26262, etc.)
Apply for this Position
Ready to join Cadence? Click the button below to submit your application.
Submit Application