GPU Formal Verification Engineer

2 days ago

Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year


WHAT YOU DO AT AMD CHANGES EVERYTHING 

At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you'll discover the real differentiator is our culture. We push the limits of innovation to solve the world's most important challenges—striving for execution excellence, while being direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the future of AI and beyond.  Together, we advance your career.  



MTS SILICON DESIGN ENGINEER  

THE ROLE: 

Formal verification of complex IPs which go into AMD compute products. 

KEY RESPONSIBILITIES:  

  • Formal verification planning and execution for complex IPs
  • Formal Covergae closure and sign-off for these IPs 

PREFERRED EXPERIENCE:  

  • 8+ years of experience in Formal Property verification
  • Experience in formal verification of CPU/GPU memory subsystems is desirable 

ACADEMIC CREDENTIALS:  

  • Bachelors or Masters degree in computer engineering/Electrical Engineering 


Benefits offered are described:  AMD benefits at a glance.

AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law.   We encourage applications from all qualified candidates and will accommodate applicants' needs under the respective laws throughout all stages of the recruitment and selection process.

  • GPU Formal Verification Staff Engineer

    4 days ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm Hardware...

  • GPU Formal Verification Staff Engineer

    3 days ago

    Bengaluru, Karnataka, India Qualcomm Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Company:Qualcomm India Private LimitedJob Area:Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary:As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm Hardware...

  • Formal verification

    4 days ago

    Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...

  • Formal Verification Engineer

    23 hours ago

    Bengaluru, Karnataka, India QFocus AI Pvt. Ltd. Full time ₹ 30,00,000 - ₹ 50,00,000 per year

    About the organizationQFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge...

  • Formal Verification Engineer

    19 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Formal Verification EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software...

  • Formal Verification Engineer

    7 days ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    We Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 22/10/2025Job Title: Formal Verification Engineer We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in...

  • Formal Verification Engineer

    6 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 09/10/2025 Job Title: Formal Verification EngineerWe Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead...

  • Formal Verification Engineer

    6 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12915Remote Eligible: NoDate Posted: 13/10/2025 We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP...

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...