Formal Verification Engineer
4 settimane fa
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.ResponsibilitiesDrive formal verification efforts for complex hardware designsDevelop comprehensive verification plans and execute them independentlyCollaborate with design, system and verification teamsIdentify and resolve design issues using formal methodsContribute to methodology improvements and best practicesBasic QualificationsBachelor's degree in Computer Science, Electrical Engineering, or related field5+ years of experience in hardware design/verificationKnowledge in digital logic systems, computer architecture, and networksAnalytical and problem-solving abilitiesSelf-motivated team player who thrives in dynamic environmentsPreferred QualificationsExperience 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 verificationOur 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 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
-
ASIC Verification Engineer, Blink/Ring ASIC Team
4 settimane fa
Asti, Italia Vendita al dettaglio e all'ingrosso Import-export A tempo pienoJob ID: | Evi Technologies Limited - C67Join the team which delivers highly differentiated silicon into Blink and Ring battery powered devices. Our verification team works on state‑of‑the‑art SoCs in a vertically integrated team environment to deliver products our customers love. Our verification team is involved in early architectural and...
-
Senior ASIC Verification Engineer for Low-Power SoCs
2 settimane fa
Asti, Italia Amazon A tempo pienoA leading technology company in Italy is searching for a Digital Verification Engineer. The role emphasizes building and evaluating verification models, requiring robust experience in digital verification, C/C++, and System Verilog. Ideal candidates will have strong analytical skills and a background in image processing. Join our innovative team to create...
-
Senior ASIC Verification Engineer for Low-Power SoCs
2 settimane fa
Asti, Italia Amazon A tempo pienoA leading technology company in Italy is searching for a Digital Verification Engineer. The role emphasizes building and evaluating verification models, requiring robust experience in digital verification, C/C++, and System Verilog. Ideal candidates will have strong analytical skills and a background in image processing. Join our innovative team to create...
-
ASIC Verification Engineer, Blink/Ring ASIC Team
4 settimane fa
Asti, Italia Vendita al dettaglio e all'ingrosso Import-export A tempo pienoJoin the team which delivers highly differentiated silicon into Blink and Ring battery powered devices. Our verification team works on state‑of‑the‑art SoCs in a vertically integrated team environment to deliver products our customers love. Our verification team is involved in early architectural and micro‑architectural trade‑offs to reduce...
-
Asic Verification Engineer, Blink/Ring Asic Team
1 settimana fa
Asti, Italia Amazon A tempo pienoJoin the team which delivers highly differentiated silicon into Blink and Ring battery powered devices.Our verification team works on state-of-the-art SoCs in a vertically integrated team environment to deliver products our customers love.Our verification team is involved in early architectural and micro-architectural trade-offs to reduce time-to-revenue by...
-
ML IP Design Verification Engineer
4 settimane fa
Asti, Italia Vendita al dettaglio e all'ingrosso Import-export A tempo pienoA leading tech company in Piemonte, Italy, is seeking an experienced Design Verification Engineer to validate hardware for cloud server platforms. The role involves verifying solutions, developing verification plans, and measuring team success. Candidates should have a relevant degree and several years of experience in design verification and testbench...
-
ASIC Verification Engineer, Blink/Ring ASIC Team
1 settimana fa
asti, Italia Amazon A tempo pienoJoin the team which delivers highly differentiated silicon into Blink and Ring battery powered devices. Our verification team works on state‑of‑the‑art SoCs in a vertically integrated team environment to deliver products our customers love. Our verification team is involved in early architectural and micro‑architectural trade‑offs to reduce...
-
Analysis & Design Engineer
3 settimane fa
Asti (AT), Italia Amazon A tempo pienoSr SOC Physical Design Engineer, Hardware Compute Group The team that built the innovative Silicon IP AZ1 Neural Edge that is powering the latest generation of Echo devices is looking for a Sr. Physical Design Engineer to continue to innovate on behalf of our customers. We are a part of Amazon Lab126 that revolutionized reading with our Kindle family of...
-
Senior Verification Engineer
4 settimane fa
Asti, Italia Amazon A tempo pienoAWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently 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...
-
Senior Verification Engineer
4 settimane fa
Asti, Italia Amazon A tempo pienoAWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently 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...
