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
Senior Systems Engineer, Managed Operations
Join AWS as a Senior Systems Engineer in Berlin to lead operations for the European Sovereign Cloud, ensuring high-availability AWS services.
Software Engineer AWS & TypeScript
Join Haufe Akademie as a Software Engineer specializing in AWS & TypeScript to develop innovative cloud solutions in Freiburg.
Senior DevOps Engineer
Join CARFAX Europe as a Senior DevOps Engineer to manage AWS infrastructure, develop CI/CD pipelines, and enhance system observability.
Senior Solution Architect AWS (Freelance)
Seeking a Senior Solution Architect AWS for a freelance role in Frankfurt, Germany. Remote work available. Extensive AWS experience required.
Oracle Cloud Engineer
Join Albert Heijn as an Oracle Cloud Engineer to drive automation and manage cloud infrastructure in Zaandam, Netherlands.
IT QA Engineering Intern - Rookie Program SS' 2025
Join Under Armour's Rookie Program as an IT QA Engineering Intern in Amsterdam. Gain hands-on experience in QA engineering with a focus on testing and agile processes.
Full-stack JavaScript Developer
Join ANWB as a Full-stack JavaScript Developer to enhance our online platform using JavaScript, TypeScript, and AWS technologies.
Cloud Solution Engineer (IC4)
Join Oracle as a Cloud Solution Engineer to design and deploy cloud architectures, driving customer success in Amsterdam.
Senior Software Architect (Java, Spring)
Join Verimi as a Senior Software Architect to design and implement digital identity solutions using Java, Spring, and cloud technologies.
Lead Developer with DevOps and Functional Programming
Join Reaktor as a Lead Developer in Amsterdam, focusing on DevOps, Functional Programming, and JavaScript in a hybrid work environment.
Senior ASR / TTS Researcher
Join Huawei's research center in Amsterdam as a Senior ASR/TTS Researcher, focusing on speech synthesis and AI.
Senior Security Engineer
Join Atos as a Senior Security Engineer in Amstelveen, focusing on cybersecurity, network security, and vulnerability management.
Backend Software Engineer - Privacy Technology
Join Zalando as a Backend Software Engineer in Privacy Technology, focusing on data protection and privacy automation services.
Staff Software Engineer
Join Aiven as a Staff Software Engineer to develop cloud operations platforms using open-source technologies. Hybrid work in Berlin.
Solutions Engineer
Join Darktrace as a Solutions Engineer in Amsterdam, providing technical pre-sales and post-sales support in a hybrid work environment.
Working Student QA - Automation (d/f/m)
Join Bettermile as a Working Student in QA Automation, focusing on web and mobile testing with Java and Cucumber in a hybrid work environment.
Cloud Data Engineer
Seeking a Cloud Data Engineer with expertise in AWS, Python, and CI/CD for a hybrid role in Hannover. Join our dynamic team!
Senior PHP Developer
Join Atolls as a Senior PHP Developer in Berlin. Work on scalable software, collaborate across teams, and drive innovation in a hybrid environment.
Information Retrieval Algorithm Engineer
Join Huawei as an Information Retrieval Algorithm Engineer to develop cutting-edge AI technologies in Amsterdam.
Senior Backend Engineer - PHP, Symfony, Laravel
Join Instapro Group as a Senior Backend Engineer, working with PHP, Symfony, and Laravel in a hybrid environment.
Entry Level Back-End Software Engineer (Java)
Join Grammarly as an Entry Level Back-End Software Engineer in Berlin. Work with Java, AWS, and more in a hybrid environment.
Senior C++ Computer Vision Engineer
Join a cutting-edge AI-DeepTech startup in Berlin as a Senior C++ Computer Vision Engineer. Work on world-class on-device AI technology.
Senior API Platform Engineer
Join Brenntag as a Senior API Platform Engineer in Amsterdam to drive API platform development using Kubernetes, Istio, and AWS EKS.
Salesforce Software Engineer
Join AnyDesk as a Salesforce Software Engineer to develop and maintain internal business systems in a dynamic, remote-friendly environment.
