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.)