As a Formal Verification Engineer, you'll play a crucial role in ensuring the quality and reliability of our Graviton product line. You'll own the complete verification lifecycle, from planning through execution, collaborating with cross-functional teams to deliver quality results in a fast-paced environment.
Key job responsibilities:
Drive formal verification efforts for complex hardware designs.
Develop comprehensive verification plans and execute them independently.
Collaborate with design, system and verification teams.
Identify and resolve design issues using formal methods.
Contribute to methodology improvements and best practices.
Requirements:
Basic Qualifications:
– Bachelor's degree in Computer Science, Electrical Engineering, or related field.
– 5+ years of experience in hardware design/verification.
– Knowledge in digital logic systems, computer architecture, and networks
– Analytical and problem-solving abilities.
– Self-motivated team player who thrives in dynamic environments.
Basic Qualifications:
– Bachelor's degree in Computer Science, Electrical Engineering, or related field.
– 5+ years of experience in hardware design/verification.
– Knowledge in digital logic systems, computer architecture, and networks
– Analytical and problem-solving abilities.
– Self-motivated team player who thrives in dynamic environments.
Preferred Qualifications:
– Experience with formal verification tools (JasperGold, VC Formal, or similar).
– Knowledge of formal verification methodologies and assertions (SVA/PSL).
– Scripting skills (Python, Perl, or TCL).
– Familiarity with AI/ML applications in verification.
This position is open to all candidates.
