ASIC Verification Engineer (Formal Methods)

UST

📍 Bengaluru, Karnataka, India 💼 Full-time 🕒 Posted June 09, 2026

Apply Now Similar Jobs

Job Description

Hi All,

Looking for Experience : ( 3 to 5 years )
Formal verification
Tool : Jasper Gold
Should have a good understanding of SVA. Work is mostly related to Sequential Equivalence Checking.
Formal Verification, SVA, Jaspergold/Synopsis VC Formal/Siemens Questa FOrmal.

Please share your resume to [email protected]

Regards,
Jaya

Ready to Apply?

Submit your application today and join our talented team at UST.

Submit Application

Job Details

Location Bengaluru, Karnataka
Job Type Full-time
Category Engineers
Posted Date June 09, 2026
Application Deadline July 19, 2026