Formal Verification Engineer

Role Summary

The Formal Verification Engineer at Amazon specializes in ensuring the design quality of AWS's cutting-edge cloud infrastructure through the application of formal verification methodologies. This role is critical for supporting the Graviton product line and offers engineers an opportunity to enhance their skills in a high-impact environment.

Experience Level

This position is geared towards engineers looking to develop their expertise in formal verification, whether you are in the early stages of your professional career or looking to deepen your current knowledge.

Responsibilities

The responsibilities of the Formal Verification Engineer include:

• Planning and executing formal verification plans in collaboration with senior engineers.
• Developing formal test-benches for design modules.
• Debugging formal verification failures and analyzing root causes.
• Collaborating with design and verification teams to resolve issues.
• Learning and applying new formal verification methodologies and tools.

Requirements

Required qualifications include:

• Strong analytical and problem-solving abilities.
• Self-motivated and able to thrive in a dynamic, fast-paced environment.

Preferred qualifications include:

• Experience or coursework in formal verification concepts.
• Understanding of hardware verification methodologies.
• Basic scripting skills in languages like Python or Perl.
• Familiarity with AI/ML applications in verification.

Education Requirements

A Bachelor's degree in Computer Science, Electrical Engineering, or a related field is required. Candidates should submit their grade sheet or academic transcript along with their CV in a single PDF.