Your mission

You own a defined formal deliverable end‑to‑end (days to a few weeks). You work independently in known contexts, drive proof closure, and hand over sign‑off artifacts that customers trust.

• Own a block/area: clarify requirements, co-define the verification strategy (scope, risks, approach), execute, and close.
• Produce maintainable SVA and a clean formal environment (constraints/assumptions with good hygiene).
• Debug efficiently, partner with designers on fixes, and prevent regressions.
• Keep stakeholders aligned with crisp updates and decision-ready evidence.

Your profile

• Proven experience delivering formal results on non‑trivial RTL (e.g., caches, pipelined processors, DMAs, NoCs).
• Strong SVA skills and hands-on formal tool experience (e.g.: Jasper, VCF, Questa Formal/Onespin).
• Reliable end‑to‑end ownership in a defined scope.