{"schemaVersion":"jobsearcher.job.v1","id":"4205b3ea00999a8a3e983ee8","url":"https://jobsearcher.com/jobs/4205b3ea00999a8a3e983ee8","canonicalUrl":"https://jobsearcher.com/jobs/4205b3ea00999a8a3e983ee8","title":"Cloud-Scale Formal Verification Engineer","description":"Amazon is seeking a Hardware Design Engineer to join the Cloud-Scale Machine Learning Acceleration team in Cupertino, California. The role involves collaborating with partners and vendors to design and optimize hardware for AWS Inferentia, enhancing machine-learning inference performance. A Bachelor's degree and strong experience in formal verification techniques are required, along with programming skills. The competitive salary ranges from $157,300 to $212,800 annually. The role includes comprehensive benefits and sign-on bonuses. Join a team dedicated to advancing cloud technologies! #J-18808-Ljbffr","company":"Amazon","rawCompany":"amazon","city":"Cupertino","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-06-18T04:50:20.033Z","occupations":[{"code":"17-2061.00","title":"Computer Hardware Engineers","slug":"computer-hardware-engineers"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"}],"industries":[{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"334111","title":"Electronic Computer Manufacturing","slug":"electronic-computer-manufacturing"},{"code":"518210","title":"Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services","slug":"computing-infrastructure-providers-data-processing-web-hosting-and-related-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Cloud-Scale Formal Verification Engineer","description":"Amazon is seeking a Hardware Design Engineer to join the Cloud-Scale Machine Learning Acceleration team in Cupertino, California. The role involves collaborating with partners and vendors to design and optimize hardware for AWS Inferentia, enhancing machine-learning inference performance. A Bachelor's degree and strong experience in formal verification techniques are required, along with programming skills. The competitive salary ranges from $157,300 to $212,800 annually. The role includes comprehensive benefits and sign-on bonuses. Join a team dedicated to advancing cloud technologies! #J-18808-Ljbffr","datePosted":"2026-06-18T04:50:20.033Z","dateModified":"2026-06-18T04:50:20.033Z","hiringOrganization":{"@type":"Organization","name":"Amazon","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Cupertino","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"4205b3ea00999a8a3e983ee8"},"url":"https://jobsearcher.com/jobs/4205b3ea00999a8a3e983ee8"}}