Senior Staff Engineer, GPU Design Verification (Formal Verification)

Shape block and subsystem-level formal verification for Samsung’s next-generation mobile GPU. Define verification goals, properties, coverage objectives, and sign-off criteria for features like clock and power gating. Architect and implement formal verification environments with assertions, properties, and formal models; analyze failures with counterexamples to drive root-cause resolution and verification closure. Own planning and documentation using Confluence and JIRA while mentoring engineers and advancing GPU formal verification methodologies.