Job Overview
Amazon Web Services (AWS) offers a unique internship opportunity for students interested in pursuing a career in ASIC Formal Verification Engineering. This position is based in Austin, TX, and is part of Annapurna Labs, a pioneering division within AWS focused on hardware co-design across the industry.
Responsibilities
- Define and check the specification of critical hardware modules using formal methods and industrial model checkers.
- Write functional descriptions of correct behavior for specific hardware blocks using hardware description languages like Verilog and System Verilog Assertions (SVA).
- Utilize industrial model checkers to prove that the hardware being designed matches the modeled specification.
- Employ advanced proof techniques, such as modeling abstractions and inductive reasoning.
- Leverage automation techniques and scripting flows to accelerate proof techniques.
Learning Opportunities
- Gain hands-on experience in a world-class pre-silicon hardware design team.
- Work on cutting-edge technology in accelerated computing, including Machine Learning acceleration and FPGA acceleration.
- Develop a deep understanding of hardware and software integration.
Mentorship & Career Growth
Our team is dedicated to supporting new members in an environment that celebrates knowledge sharing and mentorship. We assign projects and tasks in a way that leverages your strengths and helps you further develop your skillset.
Inclusive Team Culture
AWS embraces differences and is committed to furthering our culture of inclusion. We have various employee-led affinity groups and host annual learning experiences to promote diversity.
Work/Life Harmony
We value work-life harmony and encourage finding a balance that brings energy to both your personal and professional life. Flexibility is encouraged to help you establish this balance.
Location
This internship is available in Austin, TX, USA.
Basic Qualifications
- Currently enrolled in a Bachelor’s degree program or higher in Electrical Engineering, Computer Engineering, Computer Science or related fields with a graduation conferral date between December 2024 and September 2025.
- Completed coursework or prior internship experience with formal methods (SW/HW).
- Coursework or prior internship experience in the basics of computer architecture.
Preferred Qualifications
- Experience or previous technical internship(s) with hardware model checkers: JasperGold, or VC Formal.
- Experience or previous technical internship(s) with RTL: Verilog or VHDL.
- Knowledge of declarative programming languages: Ocaml, Haskell.
- Experience with scripting languages, such as Python, or TCL.
- Ability to effectively articulate technical challenges and solutions.
- Adept at handling ambiguous or undefined problems as well as ability to think abstractly.
Benefits Extracted with AI
- Mentorship & Career Growth
- Inclusive Team Culture
- Work/Life Harmony
Similar jobs
Last update: 23 minutes ago
Software Development Engineer Intern - Machine Learning Chip Architect
Join AWS as a Software Development Engineer Intern focusing on Machine Learning Chip Architecture. Enhance your skills in a dynamic environment.
Software Development Engineer Intern - ML Chip Architect
Join Amazon as a Software Development Engineer Intern focusing on ML Chip Architecture. Work on cutting-edge machine learning technologies.
Software Development Engineer Intern
Join AWS as a Software Development Engineer Intern in Munich. Work on cutting-edge projects and gain real-world experience.
Software Development Engineer Intern
Join Amazon as a Software Development Engineer Intern in France. Work on cutting-edge technology and industry-defining projects.
Senior Machine Learning Architect
Join Amazon Devices as a Senior ML Architect to develop next-gen SoCs for ML-enabled products.
Kernel/Hypervisor Engineer, EC2 Accelerated Nitro
Join AWS as a Kernel/Hypervisor Engineer to innovate on EC2 Nitro Hypervisor, focusing on virtualization and hardware acceleration.
Quality Assurance Engineer Intern
Join Amazon as a Quality Assurance Engineer Intern in Seattle for Summer 2025. Gain hands-on experience in software testing and automation.
Software Development Engineer, AWS Compute Services
Join AWS as a Software Development Engineer to innovate in serverless computing. Work on large-scale systems in Austin, Texas.
Kernel/Hypervisor Engineer, EC2 Accelerated Nitro
Join AWS as a Kernel/Hypervisor Engineer in Berlin, focusing on EC2 Nitro hypervisors and virtualization.
Software Development Engineer II, AWS Security
Join AWS as a Software Dev Engineer II in Austin, TX, focusing on building new security services at scale. In-depth programming and system design experience required.
Kernel/Hypervisor Engineer, EC2 Accelerated Nitro
Join AWS as a Kernel/Hypervisor Engineer in Berlin, focusing on EC2 Nitro hypervisors and virtualization.
Software Development Engineer Intern, Artificial General Intelligence
Join Amazon as a Software Development Engineer Intern in Artificial General Intelligence. Work on innovative AI technologies.
Front End Engineer, Automated Reasoning - Identity
Join AWS as a Front End Engineer in Santa Clara, focusing on Automated Reasoning and Identity. Develop innovative front-end solutions.
Software Development Engineer, AWS Infrastructure Services
Join AWS as a Software Development Engineer in Raleigh, NC, developing innovative Linux-based networking platforms.
Senior Staff Verification Engineer (Tech Lead)
Join AMD as a Senior Staff Verification Engineer in Dublin, leading verification of next-gen products using UVM.
Front-End Engineer Intern
Join Amazon as a Front-End Engineer Intern to build user-facing software with experienced developers. Enhance your skills in HTML, CSS, JavaScript, and more.
Systems Development Engineer Intern (Summer 2025)
Join Amazon as a Systems Development Engineer Intern for Summer 2025. Work on cutting-edge technology solutions in a fast-paced environment.
Principal Systems Development Engineer, Managed Operations
Join AWS as a Principal Systems Development Engineer to drive operational efficiency and reliability in cloud services.
Software Development Engineer II, AWS Field Experience
Join AWS as a Software Development Engineer II to build innovative global products. Embrace a culture of inclusion and career growth.
Software Development Engineer in EC2 Accelerated Platforms
Join AWS in Berlin as a Software Development Engineer in EC2 Accelerated Platforms, working on cutting-edge cloud technologies.
Software Development Engineer Intern
Join Amazon as a Software Development Engineer Intern in Luxembourg. Work on cutting-edge projects and innovate with experienced engineers.
Senior Worldwide Specialist, GenAI Model Training & Inference
Join AWS as a Senior Specialist in GenAI Model Training & Inference, driving customer adoption and scaling workloads.
Internship - Full Stack Software Engineer
Join ASML as a Full Stack Software Engineer Intern in San Jose, CA. Work on cloud computing infrastructure for semiconductor chip production.
Senior Software Development Engineer - AWS Commerce Platform
Senior Software Development Engineer for AWS Commerce Platform in Tempe, AZ. Involves large-scale data processing and distributed computing challenges.
