A

AMD

Designs chips for computers and AI systems

SMTS Silicon Design Engineer

Hardware Validation & TestingConfirmed live in the last 24 hours
Full-timeAustin, TX, USANo salary listed

About the Job

Requirements

  • A master's degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or a related field, plus four years of experience in the job offered or a closely related engineering role; alternatively, a bachelor's degree or foreign equivalent in those fields and six years of progressive post-baccalaureate experience.
  • Four years of experience with formal verification of algorithms, engines, and use cases.
  • Four years of experience with SystemVerilog Assertion and abstract model development.
  • Four years of experience using formal verification tools from Academy and EDA vendors, such as JasperGold, VC Formal, Murphi, or a theorem prover.
  • Four years of experience delivering high-quality verification for modern, large-scale processor designs such as CPU, GPU, or AI processors.
  • Four years of experience with computer architecture and graphics pipelines.
  • Four years of experience developing formal verification infrastructure for FPV, DPV, SEV, and other use cases.

Responsibilities

  • Lead research into emerging formal verification domains, including security, safety, low-power, and architect-level formal verification.
  • Explore the feasibility of formalizing the ISA and memory model for GFXIP design.
  • Define the long-term strategy for formal verification expansion and steer the technical roadmap.
  • Develop formal verification methodology covering graphics design, including datapath and control logic.
  • Scale formal verification to large, critical designs and expand its adoption throughout the IP development life cycle.
  • Resolve convergence issues using techniques such as induction, reduction, and abstraction.
  • Define and drive formal verification infrastructure to improve productivity.
  • Research, design, develop, and test electronic components and systems for semiconductor and related device manufacturing, applying electronic theory.
  • Lead definition, design, verification, and documentation for ASIC development.
  • Determine architecture design, logic design, and system simulation, and define module interfaces and formats for simulation.
  • Lead multidimensional designs involving the layout of complex integrated circuits.
  • Evaluate process flow from high-level design through synthesis, place and route, timing, and power use.
  • Work with cross-functional engineering teams on ASIC and layout design and resolve significant, unique issues requiring evaluation of intangible factors.
  • Drive projects or processes of significant technical importance.
  • Select methods, techniques, and evaluation criteria independently, with little to no supervision.
  • Apply knowledge of computers and electronics, circuit boards, processors, chips, electronic equipment, design techniques, tools, and principles to contribute to company objectives and achieve goals.
  • Apply engineering principles, best practices, and technologies to the design, development, and testing of AMD products.

About the Company

AMD

Designs chips for computers and AI systems

AMD designs processors, graphics chips and AI accelerators for computer makers, cloud operators and businesses that build electronic devices. Its Ryzen processors power personal computers, while EPYC processors handle work in data centers and Radeon chips render graphics. Instinct accelerators run AI models, paired with software that developers use to train models and put them into production. AMD sells chips and related computing systems through equipment makers, distributors and retail channels, and contracts with outside foundries to fabricate its semiconductor designs. It was founded in 1969 and has its headquarters in Santa Clara, California.

Company size
10,001+
Company stage
IPO
Headquarters
Santa Clara, CA
Founded
1969

Recently Posted Jobs

Explore more opportunities at AMD

See more jobs