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.)
Ready to Apply?
Submit your application today and join our talented team at Cadence.
Submit ApplicationJob Details
- Location Bangalore Division, Karnataka
- Job Type Full-time
- Category Engineers
- Posted Date March 01, 2026
- Application Deadline April 10, 2026