Own strategy + closure for complex blocks/IP, including quality and stakeholder alignment.
Set a high bar for property quality, constraint hygiene, and non‑vacuity.
Drive convergence with sound modeling judgment (abstraction, cutpoints/invariants, assume‑guarantee).
Take ownership of scope estimation and execution planning, turning unclear requests into a realistic plan (milestones, effort, risks).
Lead first projects technically with low-to-medium complexity, incl. mentoring others.

Strong track record delivering formal outcomes on complex designs.
Deep SVA + modeling judgment + convergence/debug expertise.
Proven track record of defining a sound verification strategy independently (scoping, risk assessment, assumptions/constraints, and closure criteria).
Calm, crisp communicator — you prevent surprises.

You take ownership of a complex scope and create clarity (plan, milestones, decision points).
You unblock others through reviews/pairing and improve project reliability.
You own a low-to-medium complexity block end-to-end, mentor less experienced colleagues, and reliably step in as the project’s backstop when late-phase issues hit.