Sourceright Technologies
Formal verification engineer (IRT40ST RM 4299)
Skills
3 months ago
Share this opportunity
Share this opportunity to other talents of your network:
✓ Offer them a visibility boost with clients.
✓ Help your contacts find their next job.
Important information
Contract type:
Permanent
Location:
Bengaluru, Karnataka, India
Work mode:
Onsite
Published on:
11 August 2026
What they need
Position: Formal verification engineer (IRT40ST RM 4299)
Job Description
- Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).
- Experience with programming languages (e.g., Python/Perl and TCL).
- Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).
- Expertise in property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL.
Job Category: Embedded HW_SW
Job Type: Full Time
Job Location: Bangalore Pune Hyderabad
Experience: 4+ years
Notice period: 0-30 days
Disclaimer: This job description has been sourced from a public domain and may have been modified by Naukri.com to improve clarity for our users. We encourage job seekers to verify all details directly with the employer via their official channels before applying.
Other offers great for you!
These companies are also looking for great profiles
Cherrypick
AI Engineer Senior (H/F)
550€
Freelance
Paris, France
Hybrid
Top Recruiter
Skills
15 hours ago
Quick apply
LeHibou
IT/OT Engineer
650€ / jour
Freelance
Puurs-Sint-Amands, Belgium
Onsite
Skills
15 hours ago
Quick apply
Avelsen
Senior AI Engineer - Freelance
Freelance
Paris, France
Hybrid
Skills
9 hours ago
Quick apply