Formal Verification Expert Samsung GPUs

Position: Formal Verification Expert for Samsung GPUs
Take on a pivotal role at Samsung as a Senior Staff Engineer for GPU Design Verification. Focus on formal verification to ensure the accuracy and efficiency of mobile GPU designs.

In this individual contributor role at Samsung Austin Research and Development Center, you will apply your extensive experience in formal verification to support the next generation of mobile GPUs. Your deep understanding of GPU architectures and formal methods will empower you to innovate and collaborate with multidisciplinary teams to validate GPU designs effectively.

Key Responsibilities:

• Architect formal verification environments for complex designs

• Collaborate on designing and validating GPU features

• Analyze failures and enhance verification strategies

• Implement cutting-edge verification methodologies

• Document verification processes and results effectively

Requirements:

• 10+ years of experience in design verification

• Proficiency in formal verification tools and techniques

• Excellent debugging and analytical skills

• Strong programming skills in multiple languages

• Proven communication skills in team settings

Utilize your formal verification knowledge to shape the future of Samsung's mobile GPUs and ensure performance excellence.
#J-18808-Ljbffr