Overview AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to continuously released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS. Within AWS UC, Amazon Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services. Annapurna Labs, a division at Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure. Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience. At Annapurna Labs, we’re pushing the boundaries of formal verification, tackling large-scale design challenges with methodologies. Join us in shaping the future of cloud computing infrastructure. Role 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. 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
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
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner. Equal Opportunity Employer — Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. #J-18808-Ljbffr