We are looking Formal Verification Engineer for Bangalore location.

Please find below the details: Location: Bangalore Experience: 2-4 years This role is primarily focused for the Formal verification methodology team with the requirements as below : The candidate should be experienced in Formal verification for at least for 2-4 years preferably in cadence Jasper tools involving Jasper connectivity, FPV, CSR, Superlint, XPROP, FSV applications Should be proficient in SV and UVM. Should have worked in building Formal verification environment from scratch. Interested candidates with relevant experience can share their CV to heena.m@testandverification.com