GPU Formal Verification Engineer

4 days ago


Bengaluru, India Advanced Micro Devices, Inc Full time

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.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 EngineeringBenefits 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.



  • Bengaluru, India Advanced Micro Devices, Inc Full time

    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...


  • Bengaluru, India Advanced Micro Devices (AMD) Full time

    Job Description THE ROLE: Execute formal verification for complex blocks for AMD s graphics processor IP, resulting in no bugs in the final design. THE PERSON: Good knowledge of formal verification along with understanding of complex designs. KEY RESPONSIBILITIES: - Understand the design to be verified - Plan and execute formal verification. Formal test plan...


  • Bengaluru, India Advanced Micro Devices (AMD) Full time

    Job Description Role: The ideal candidate is a person with extenstive experience in applying formal verification methods to complex IPs for cpu, gpu and high speed protocols. Responsibilities: Complete ownership and execution of formal verification of cache controllers, computational IPs, floating point units, etc In this role, he/she would be responsible...


  • Bengaluru, India Qualcomm Full time

    Job Description Company Qualcomm India Private Limited Job Area Engineering Group, Engineering Group > Hardware Engineering General 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...


  • Bengaluru, India Whatjobs IN C2 Full time

    Functional Formal Verification Engineer – Lead We are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs. Qualifications:...


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

    Meta is hiring Application-Specific Integrated Circuit (ASIC) Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications.As a Formal Verification Engineer, you will be part of a team working with the best in the...


  • Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: BangaloreExperience: 4+YearsJob Type: Full-timeIndustry: Semiconductor / ASIC Design / EDAEducation: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer EngineeringJob Description:We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...


  • Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...


  • Bengaluru, India Whatjobs IN C2 Full time

    Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...


  • Bengaluru, India ACL Digital Full time

    Job Title: Formal Verification Engineer Location: Bangalore Experience: 4+Years Job Type: Full-time Industry: Semiconductor / ASIC Design / EDA Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering Job Description: We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be...