Formal Verification Engineer

Job description

DESCRIPTION

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. AWS has the broadest and deepest set of machine learning and AI services for our customers' businesses. We are seeking experienced formal verification engineers to build the next generation of our cloud server platforms. Our success depends on our world-class 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.

You'll provide leadership in the application of new technologies to large scale 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 our 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.

Responsibilities:
· Verify that our silicon solutions will achieve the functionality needed to enable our customers
· Develop a deep understanding of microarchitectural design details
· Define meaningful formal properties that capture the design intent
· Collaborate and communicate effectively with RTL design and verification engineers
· Analyze bounded proof results and write functional coverage points
· Develop creative solutions for abstraction methods, and FV checking algorithms to obtain deeper proofs

Desired profile

BASIC QUALIFICATIONS

· BS degree or higher in EE or CE or CS
· 3+ years or more of experience in pre-silicon functional verification.
· 1+ years of experience in formal verification, utilizing industry standard tools such as JasperGold or VC Formal.
· Experience developing formal verification plans and executing those plans to closure.
· Able to code in Verilog / System Verilog