Advanced Micro Devices (AMD) · Austin, Texas

SMTS Silicon Design Engineer

Austin, TexasFull-timeDesign

Listed on Advanced Micro Devices (AMD)’s official careers site. Posted November 6, 2026. Check that it is still open and apply there.

Apply on Advanced Micro Devices (AMD)’s careers site →

Job description

ADVANCE YOUR CAREER. ADVANCE THE WORLD. 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.

More jobs at Advanced Micro Devices (AMD)

Similar jobs at other companies

SMTS Silicon Photonic Integration Engineering (Silicon Photonics)

GlobalFoundries · Malta, New York, United States of America

SMTS Quantum Etch Engineer

GlobalFoundries · Malta, NY, US

Software Engineering SMTS

Salesforce · Washington - Bellevue

SMTS, Systems Infrastructure Engineering

Micron Technology · San Jose, CA

Software Engineering SMTS

Salesforce · California - San Francisco

OpenNash lists jobs from employers’ own careers sites and does not handle applications. Dates come from the employer where stated; “first seen” and “last checked” are our own observations.