Infra Engineers

Role Overview: 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. Key Responsibilities: - Work with design team to create FV test plan. - Build formal verification environment, write assertions, covers, and appropriate constraints. - Create a common formal verification flow so properties and assertions can be ported to different hierarchies. - Provide Training and mentor new team members. Qualifications: - Experience with complex CPU/ASIC projects, with demonstrated mastery of successful verification from test planning till tapeout. - Hands-on experience in writing SV assertions. - Exposure to formal methodologies and industry standard Formal tool (like VC Formal, Jasper.). - Knowledge of scripting using Perl, tcl, or equivalent. - Cache coherency or industry standard AMBA protocol knowledge is a plus. Additional Company Details: We have competitive benefit packages and an award-winning culture. This is your chance to be a part of this unique team - Join us! Note: Academic Credentials: - Degree in Electrical Engineering, Computer architecture, or Computer Science with a focus on computer architecture is preferred. - B.E/B.Tech in ECE, Electrical engineering degree, or Masters degree preferred with emphasis in Electrical/Electronics Engineering. Preferred VLSI major in post-graduation.,