About Amazon
The everything store and cloud computing leader
Key Highlights
- Headquartered in South Lake Union, Seattle, WA
- Over 1.5 million employees worldwide
- Leading cloud services through Amazon Web Services (AWS)
- Acquired Whole Foods, Twitch, and Ring
Amazon, headquartered in South Lake Union, Seattle, WA, is the world's largest online retailer and a leader in cloud computing through Amazon Web Services (AWS). With over 1.5 million employees globally, Amazon operates in various sectors, including AI with its Alexa devices and a vast marketplace k...
🎁 Benefits
Amazon offers competitive salaries, stock options, generous PTO policies, and comprehensive health benefits. Employees also have access to a learning ...
🌟 Culture
Amazon's culture is driven by customer obsession and a focus on innovation. The company encourages employees to think big and move fast, fostering an ...
Skills & Technologies
Overview
Amazon is hiring a Senior Formal Verification Engineer to develop formal verification plans and optimize hardware for cloud server infrastructure. You'll work with technologies like AWS and collaborate with cross-functional teams. This position requires significant experience in hardware design and verification.
Job Description
Who you are
You have extensive experience in formal verification and hardware design, with a strong understanding of micro-architectural principles. Your background includes developing formal verification plans and implementing state-of-the-art IP architectures, showcasing your ability to work with complex systems. You are skilled in developing checking algorithms, assertions, and formal verification models, and you thrive in collaborative environments where you can communicate effectively with team members across multiple disciplines. Your expertise in formal methods and abstraction techniques sets you apart, allowing you to contribute significantly to the design and optimization of hardware in data centers.
What you'll do
As a Senior Formal Verification Engineer at Amazon, you will be responsible for developing and implementing formal verification plans that ensure the reliability and performance of our cloud server infrastructure. You will work closely with block designers to gain a deep understanding of micro-architectural details, which will inform your development of checking algorithms and assertions. Your role will involve performing state-of-the-art formal methods and abstraction techniques to enhance our verification processes. You will also participate in test plan and coverage reviews, promoting assertions to simulation and contributing to the overall simulation strategy. Your ability to communicate and collaborate with team members across various disciplines will be crucial in driving the success of our projects.
What we offer
At Amazon, we foster an inclusive team culture that values diversity and collaboration. You will have the opportunity to work on cutting-edge technologies and contribute to the next generation of cloud server infrastructure. We offer competitive compensation packages, including equity and comprehensive benefits, to support your well-being and professional growth. Join us in shaping the future of cloud computing and making a significant impact in the industry.
Interested in this role?
Apply now or save it for later. Get alerts for similar jobs at Amazon.
Similar Jobs You Might Like
Based on your interests and this role
Design Verification Engineer
Amazon is hiring a Design Verification Engineer to optimize hardware for cloud server infrastructure. You'll work with AWS technologies and be responsible for verifying hardware and software solutions. This position requires experience in hardware design and validation.
Design Verification Engineer
Amazon is hiring a Senior Design Verification Engineer to build the next generation of cloud server platforms. You'll be responsible for verifying and validating machine learning hardware in data centers. This position requires experience in design verification and AWS.
Formal Verification Engineer
Apple is hiring a Formal Verification Engineer to design and manufacture high-performance processors and system-on-chip (SoC) solutions. You'll work closely with design engineers to develop verification strategies and ensure product quality. This role requires expertise in formal verification processes.
Formal Verification Engineer
Apple is hiring a Formal Verification Engineer to design and manufacture high-performance processors and SoCs. You'll collaborate with design engineers to develop formal verification specifications and ensure product quality. This role requires expertise in formal verification processes.
Formal Verification Engineer
Apple is hiring a Formal Verification Engineer to design and manufacture next-generation processors and SoCs. You'll work closely with design engineers to develop formal verification specifications and test plans. This role requires expertise in formal verification processes.