Product Engineering Architect - Verification at Cadence Design Systems (Seoul)