ASIC Formal Verification Engineer Intern, Annapurna Labs
Amazon Web Services (AWS)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
Applied Scientist, Artificial General Intelligence
Join AWS as an Applied Scientist in Artificial General Intelligence, driving AI innovation in cloud computing.
Software Development Engineer Intern
Join Amazon as a Software Development Engineer Intern in Luxembourg. Work on cutting-edge projects and innovate with experienced engineers.
Software Development Engineer Intern
Join Amazon as a Software Development Engineer Intern in Amsterdam. Work on cutting-edge technology and industry-defining projects.
Intern Software Engineer
Join Arm as an Intern Software Engineer, work on cutting-edge projects, and gain hands-on experience in software development.
Senior Applied Scientist, AWS Marketing AI/ML
Join AWS as a Senior Applied Scientist in Marketing AI/ML, leading personalization and targeting initiatives.
Frontend Engineer II
Join AWS as a Frontend Engineer II to build web applications using Angular, CSS, and JavaScript frameworks.
Internship, Correctness & Reliability Engineer, Dojo
Join Tesla as a Correctness & Reliability Engineer Intern in Palo Alto, focusing on program analysis tools for supercomputers.
Internship - Software Developer in DevOps
Join ASML as a Software Developer Intern in DevOps, focusing on automation and CI/CD infrastructure.
Data Engineer Intern
Join Amazon as a Data Engineer Intern in Luxembourg. Work on impactful projects and develop your skills in a fast-paced environment.
Software Engineer Intern
Join Kognitos as a Software Engineer Intern to work on AI and machine learning projects in San Jose.
Software Development Engineer Intern
Join Amazon as a Software Development Engineer Intern in Stockholm, Sweden. Work on cutting-edge technology and industry-defining projects.
Computer Science Internship: Web Developer
Join ASML as a Computer Science Intern focusing on web development, enhancing code visualization tools. Ideal for students in CS or Software Engineering.
Internship Software Engineer - Machine Learning Infrastructure
Join Tesla as an Internship Software Engineer in Machine Learning Infrastructure. Work on AI infrastructure and neural network scaling.
Computer Science Internship: C++/C Software Developer
Join ASML as a Computer Science Intern focusing on C++/C software development and code visualization.
AI Engineer Intern, Self-Driving
Join Tesla as an AI Engineer Intern to develop large-scale models for self-driving technology. Work on cutting-edge AI techniques.
AI Engineer Intern - Export & Inference
Join Tesla as an AI Engineer Intern focusing on Export & Inference. Work on cutting-edge AI projects in Palo Alto.
Business Intelligence Engineer Intern
Join Amazon as a Business Intelligence Engineer Intern in Milan. Develop analytical solutions and gain hands-on experience in data science.
Internship - Machine Learning with Artificial Intelligence
Join AUDI AG as an intern in Machine Learning, focusing on AI, Computer Vision, and Data Science. Enhance your skills in Python and ML tools.
Senior Software Development Engineer, Customer Trust - Core Services
Join Amazon as a Senior Software Development Engineer to build scalable AI systems for customer trust.
Software Development Engineer (SDE) Intern - Summer 2025
Join Amazon Robotics as a Software Development Engineer Intern for Summer 2025. Work with cutting-edge technology in a diverse and inclusive environment.
Senior Cloud Engineer
Join as a Senior Cloud Engineer to architect and deploy cloud solutions using Azure, AWS, and GCP. Lead innovation in cloud technology.
Software Engineering Intern, Machine Learning
Join GlobalFoundries as a Software Engineering Intern in Machine Learning. Gain hands-on experience in AI/ML applications.
DevOps Engineer with AWS and Linux Experience
Join Amazon as a DevOps Engineer to work on AWS cloud solutions, Linux systems, and CI/CD in New York.
Deployment Cloud Support Engineer - Spanish Speaker
Join AWS as a Deployment Cloud Support Engineer in Dublin, fluent in Spanish, to support global cloud solutions.