Senior Formal Verification Architect - Cloud ML HW

Socket.dev; Austin (TX); On-site; USD 159,200 - 215,300; Full time

Benefits offered by this job

Health insurance

RSUs

Sign-on bonus

401(k) matching

Job summary

Amazon's Cloud-Scale Machine Learning Acceleration team seeks experienced Hardware Design Engineers to advance the next generation of cloud server infrastructure in Austin, TX. You will design and optimize hardware, work with IPs, and drive verification from concept to implementation.

The role requires 7+ years in formal verification, RTL design, and strong programming skills. You will collaborate across disciplines to deliver scalable, cost-effective data center hardware.

Qualifications

• Bachelor's degree in CS, EE, or related field.
• 7+ years in formal verification as IP/block owner.
• 7+ years in formal verification techniques (abstraction, end-to-end).

Responsibilities

• Develop formal verification plans and verify IP architectures.
• Collaborate with block designers to understand micro-architecture.
• Develop checking algorithms, assertions, and FV models.
• Apply formal methods and abstraction techniques.
• Participate in test plan and coverage reviews.
• Promote assertions to simulation and define strategy.

Skills

Formal verification

RTL design

U-arch understanding

Programming languages

Education

Bachelor's degree or higher in CS/EE

Tools

Verilog

Python

VHDL

Job description

Amazon's Cloud-Scale Machine Learning Acceleration team seeks experienced Hardware Design Engineers to advance the next generation of cloud server infrastructure in Austin, TX. You will design and optimize hardware, work with IPs, and drive verification from concept to implementation.

The role requires 7+ years in formal verification, RTL design, and strong programming skills. You will collaborate across disciplines to deliver scalable, cost-effective data center hardware.