Job description:

  • Atleast 7+ years of experience in formal verification.
  • Writing properties and proving them with commercial checkers.
  • Knowledge of assertion languages: PSL or SVA (must have).
  • Must have setup a Formal Verification flow before
  • Has worked on all industry standard Formal tools – Questa Formal Verification (must-have), VC Formal (good to have), Jasper (good to have), Incisive Formal Verifier (good to have)

Location: Bangalore, India


  • Highly competitive to match experience and capability

How To Apply

Send your CV to [email protected]