At AMD, we believe technology has the power to solve the world’s most important challenges. From advancing healthcare and scientific discovery to powering AI and the technologies people rely on every day, innovation at AMD is shaping the future.

Whether you’re designing next-gen processors, enabling AI breakthroughs, or bringing leading edge products to market, every role at AMD contributes to something bigger — technology that moves the world forward. Join us and, together, we’ll advance your career.

Job Role and Responsibility: AMD, Inc. is hiring SMTS Silicon Design Engineer to Lead the research group for emerging formal verification domains like security, safety, low-power, architect-level formal verification, etc. Explore the feasibility of formalizing ISA and memory model for GFXIP design. Define long-term strategy for formal verification expansion and steer the technical roadmap. Develop cutting-edge formal verification methodology to cover the whole graphics design, including both datapath and control logic. Scale formal verification to big and critical design for bug-free quality. Expand formal verification adoption to the whole IP development life cycle. Resolve challenging convergence issue through world-class formal verification techniques like induction, reduction, abstraction, etc. Define and drive the best-in-class formal verification infrastructure to improve formal verification productivity. Research, design, develop, and/or test electronic components and systems for semiconductor and related device manufacturing, employing knowledge of electronic theory. Lead definition, design, verification, and/or documentation for ASIC development. Determine architecture design, logic design, and/or system simulation. Define module interfaces/formats for simulation. Lead the development of multidimensional designs involving the layout of complex integrated circuits. Evaluate all aspects of the process flow from high-level designs to synthesis, place and route, and timing and power use. Work with cross-functional teams including engineers to develop ASIC/layout design, working on significant and unique issues where analysis of situations or data requires an evaluation of intangibles. Drive projects or processes of significant technical importance. Exercise independent judgment to select methods, techniques and evaluation criteria for obtaining results with little to no supervision. Utilize unique knowledge of computers and electronics, including circuit boards, processors, chips, electronic equipment, design techniques, tools, and principles to contribute to the development of company objectives and principles and to achieve goals in creative and effective ways. Apply knowledge of engineering principles, best practices, and technologies to the design, development, and testing of various AMD products.

Multiple openings. Qualified applicants click “APPLY NOW” button to apply online.

Travel required: NO

Qualifications: Degree required

Master’s degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or related field.

Qualifications: Amount and type of experience required : Four (4) years of experience in job offered or closely related engineering role.

Alternate combination of education and experience: Employer will alternatively accept a Bachelor’s degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or related field and six (6) years of progressive, post-baccalaureate experience in job offered or closely related engineering role.

Specific skills required: The following skills are required:

Position requires four (4) years of experience in the following:

Formal verification of algorithms, engines, and use cases;

SystemVerilog Assertion and abstract model development;

Using formal verification tool from both Academy and EDA vendors (JasperGold, VC Formal, Murphi, or theorem prover);

Delivering high-quality verification for modern, large-scale processor design, such as CPU, GPU, or AI processor;

Computer architecture and graphics pipeline; and

Developing formal verification infrastructure for FPV, DPV, SEV, and other use cases.

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.

AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD’s “Responsible AI Policy” is available here.

This posting is for an existing vacancy.