Formal Verification Engineer


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 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 Engineering Team you'll be responsible for the design and optimization of hardware in our data centers. You'll provide leadership in the application of new technologies to large scale server deployments in a continuous effort to deliver a world-class customer experience. This is a fast-paced, intellectually challenging position, and you'll work with thought leaders in multiple technology areas. You'll have relentlessly high standards for yourself and everyone you work with, and you'll be constantly looking for ways to improve your products performance, quality and cost. We're changing an industry, and we want individuals who are ready for this challenge and want to reach beyond what is possible today.


  • Verify and validate that our hardware and software solutions will achieve the functionality needed to enable our customers
  • Lead our formal verification work
  • Develop a deep understanding of the end customer requirements, including software applications, use models, system architecture and the SoC architecture/micro-architecture of our solutions
  • Define and implement leading edge verification/validation methodologies including using the cloud to enable breakthrough productivity
  • Efficiently execute test plans on multiple platforms, measure progress and metrics, and work with cross-functional teams to achieve these results

Basic Qualifications

  • BS degree or higher in EE, CE, or CS
  • A minimum of 10 years of experience in functional verification of complex arithmetic based microarchitectures, utilizing Hardware Design Languages such as System Verilog (OVM, UVM) and assertion languages such as SVA
  • A minimum of 5 years of hands on experience owning pre-silicon formal verification assignments utilizing tools such as JasperGold or Questa, as well as logical equivalency checking
  • Ability to develop formal verification strategies and plans and hold reviews of formal verification proofs while driving to closure
  • Ability to read, interpret and provide feedback on architectural and microarchitectural specifications
  • Ability to write constrained random tests and monitor results using functional coverage
  • Ability to adapt to dynamic design requirements
  • Show self initiative and contribute improvements in efficiency and reusability within a team of highly talented engineers
  • Strong coding and scripting skills (C/C++/Perl/Python) are a must
  • Strong skills in debugging to root cause is a must
  • Experience with FPGAs is a plus
  • Excellent communication skills

Preferred Qualifications

  • Proven ability to develop and deploy new DV methodologies
  • Experience with post-silicon validation
  • Experience with embedded software

Meet Some of Amazon's Employees

Mae M.

Senior UX Designer

Mae integrates human-centered design into tools that enable business partners to operate efficiently and intuitively. She analyzes customer needs and pain points to improve designs.

Heather Z.

Director of Alexa Engagement

Heather focuses on building great customer experiences for Alexa users. She heads a team of technical and creative professionals who bring the product to life.

Back to top