Job Description

Required Skills:

- 5+ years in RTL design or verification (2+ years formal)

- Knowledge of SystemVerilog, SVA/PSL, assertions

- Experience with JasperGold, OneSpin, or VC Formal

- Familiarity with AI/ML in EDA tools

- Hands-on with JasperGolds Smart Proof, VisualizeTM, QuietTraceTM

- 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