layiq
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…Job opportunity
Amazon
Austin, TX; Cupertino, CA
Source: Amazon careers · View original posting
From Amazon's posting. “We” and “our” refer to the employer.
Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure.
Our success depends on our world-class server infrastructure; we’re handling massive scale and rapid integration of emergent technologies.
As a member of the Cloud-Scale Machine Learning Acceleration team you’ll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost.
Key job responsibilities
Develop formal verification plans, implement and verify state-of-the-art IP architectures.
Work with block designers to gain deep micro-architectural understanding.
Develop checking algorithms, assertions, and FV models.
Perform state of the art formal methods and abstraction techniques.
Participate in test plan and coverage reviews.
Promote assertions to simulation and contribute to overall simulation strategy.
Communicate and work with team members across multiple disciplines.
Basic Qualifications
Bachelor's degree or above in computer science, electrical engineering, or related field
7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal methods.
7+ years of experience with formal verification techniques including abstraction and end-to-end checking, or equivalent academic experience in formal methods.
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location.
Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
USA, CA, Cupertino - 213,000.00 - 287,500.00 USD annually
USA, TX, Austin - 185,200.00 - 250,000.00 USD annually
LAYIQ is an independent job-discovery service. This listing does not imply a partnership with or endorsement by the employer. Review the original posting for current details and availability.
Employer posted: