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 Solution Architect AWS (Freelance)
Seeking a Senior Solution Architect AWS for a freelance role in Frankfurt, Germany. Remote work available. Extensive AWS experience required.
Senior DevOps Engineer
Join CARFAX Europe as a Senior DevOps Engineer to manage AWS infrastructure, develop CI/CD pipelines, and enhance system observability.
Front End Development Engineer - AWS Commerce Platform
Join AWS as a Front End Development Engineer to build high-quality user interfaces using Angular, React, and TypeScript in Berlin.
Backend Developer with AWS and Spring Boot Experience
Join CHEEX as a Backend Developer in Berlin. Work with AWS, Spring Boot, and Angular in a progressive, inclusive environment.
Software Engineer - Autonomous Driving
Join Applied Intuition as a Software Engineer in Munich to tackle autonomous driving challenges with top ADAS/AV programs.
Senior ASR / TTS Researcher
Join Huawei's research center in Amsterdam as a Senior ASR/TTS Researcher, focusing on speech synthesis and AI.
Senior Software Engineer - AWS, Python, Ruby on Rails
Join HeyJobs as a Senior Software Engineer to design scalable systems using AWS, Python, and Ruby on Rails in a dynamic team.
Staff Software Engineer
Join Aiven as a Staff Software Engineer to develop cloud operations platforms using open-source technologies. Hybrid work in Berlin.
Senior Software Engineer (C++, Python & Cloud)
Join VIAVI Solutions as a Senior Software Engineer specializing in C++, Python, and cloud technologies. Work in a hybrid environment in Berlin.
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 Software Engineer - Embedded Systems and Cryptography
Join Adva Network Security as a Senior Software Engineer in Berlin, focusing on embedded systems and cryptography.
Information Retrieval Algorithm Engineer
Join Huawei as an Information Retrieval Algorithm Engineer to develop cutting-edge AI technologies in Amsterdam.
Senior Backend Engineer with Go and AWS Experience
Join Vio.com as a Senior Backend Engineer to work with Go, AWS, and more, ensuring the best travel deals for users.
Senior Python Developer with AWS Experience
Join Basetime BV as a Senior Python Developer to develop and maintain AWS cloud solutions. Hybrid work, competitive salary, and growth opportunities.
Front-end Angular Engineer
Join Zivver as a Front-end Angular Engineer to shape the future of secure web applications. Work with Angular, TypeScript, and more in Amsterdam.
Senior DevOps Engineer - Price & Deal Management
Join Covestro as a Senior DevOps Engineer to drive digital transformation in pricing and deal management with AWS, Docker, and Java expertise.
Senior Software Engineer (Backend)
Join Bitvavo as a Senior Software Engineer (Backend) to drive innovation in crypto services using AWS, Kubernetes, and TypeScript.
Software Engineer with Design Affinity
Join Telenet as a Software Engineer with design skills to develop innovative campaigns using HTML, CSS, and JavaScript.
Senior Backend Developer
Join Motius as a Senior Backend Developer to work on cutting-edge R&D projects using AWS, Docker, GraphQL, and more in a hybrid work environment.
Embedded Software Engineer
Join IBA as an Embedded Software Engineer focusing on Ethernet networking and embedded programming. Entry-level position in Louvain-la-Neuve.
Senior Software Developer - AWS, Java, Python, Scala
Join Omnia Retail as a Senior Software Developer, working with AWS, Java, Python, and Scala in a hybrid role in Frankfurt.
Associate Software Engineer - Payments Domain
Join as an Associate Software Engineer in Amsterdam to develop secure payment solutions using PHP in a collaborative environment.
