Apply now
Amazon logo

2025 ASIC Formal Verification Engineer Intern, Annapurna Labs

Amazon

On-site 🏒 03 October
Cyber & IT Security
Austin, United States 🇺🇸

Amazon Web Services (AWS) internships are full-time (40 hours/week) for 12 consecutive weeks during summer. By applying to this position, your application will be considered for all locations we hire for in the United States.In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry. The work we do is cutting-edge and internet-scale while also being deeply important to our customers. We design and build every component of our hardware and software to come together into products that our customers use for accelerated computing through Machine Learning acceleration and FPGA acceleration. If you are interested in "building a complete product" from inception to delighted customers, Annapurna is a fantastic choice.If this sounds exciting to you - come build the future with us!As a member of the Machine Learning Acceleration team you will be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of a world class pre-silicon hardware design team. The job entails understanding requirements of specific hardware blocks and writing functional descriptions of correct behavior. Specifications are written in hardware description languages like Verilog and System Verilog Assertions (SVA). Using industrial model checkers you will then learn techniques for proving the hardware being designed matches the modeled specification. Advances proof techniques, such as modeling abstractions, and inductive reasoning will be utilized. Automation techniques and scripting flows are also leveraged to accelerate proof techniques. Mentorship & Career GrowthOur team is dedicated to supporting new team members in an environment that celebrates knowledge sharing and mentorship. Projects and tasks are assigned in a way that leverages your strengths and helps you further develop your skillset.Inclusive Team CultureHere at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.Work/Life HarmonyOur team puts a high value on work-life harmony. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility and encourage you to find your own balance between your work and personal lives.
Apply now

Similar jobs

Security Engineer - fresh graduate

On-site 🏒 29 November
Cyber & IT Security
Madrid, Spain 🇪🇸 Barcelona, Spain 🇪🇸

Security Analyst - fresh graduate

On-site 🏒 02 December
Cyber & IT Security
Madrid, Spain 🇪🇸 Barcelona, Spain 🇪🇸

Network Support Engineer-Intern Summer 2025 (Meraki) Poland

On-site 🏒 04 October
Cyber & IT Security
Krakow, Poland 🇵🇱

2025 Operational Security Internship - UAE National, DC Security

On-site 🏒 29 October
Cyber & IT Security
Dubai, United Arab Emirates 🇦🇪

Security System Software Engineer (RDSS Intern)

On-site 🏒 08 October
Cyber & IT Security
Taipei, Taiwan 🇹🇼

2025 Security Specialist Intern, DC Security

On-site 🏒 30 October
Cyber & IT Security
Zaragoza, Spain 🇪🇸

Research Intern - Security Research Group

Hybrid 🏑🏒 23 October
Cyber & IT Security
Washington, United States 🇺🇸

2025 Data Centre Technician Intern

On-site 🏒 01 November
Cyber & IT Security
Bahrain 🇧🇭

Data Center Security Specialist Intern

On-site 🏒 25 November
Cyber & IT Security
Boardman, United States 🇺🇸 Santa Clara, United States 🇺🇸 Herndon, United States 🇺🇸 Hilliard, United States 🇺🇸 Umatilla, United States 🇺🇸

Arch Intern, Security - 2025

On-site 🏒 20 November
Cyber & IT Security
Shanghai, China 🇨🇳

Security Engineer Summer Internship – 2025 (US)

On-site 🏒 20 August
Cyber & IT Security
Seattle, United States 🇺🇸

Research Intern - Networking

Hybrid 🏑🏒 05 November
Cyber & IT Security
Washington, United States 🇺🇸 California, United States 🇺🇸

Software Engineer Intern, Cybersecurity and OTA - 2025

On-site 🏒 21 October
Cyber & IT Security
Shanghai, China 🇨🇳

Security Consulting Engineer (Intern) United States

On-site 🏒 08 September
Cyber & IT Security
North Carolina, United States 🇺🇸

Critical Environment Technician (CET) Apprentice

On-site 🏒 01 October
Cyber & IT Security
Singapore 🇸🇬

Network Support Engineer - Intern, Summer 2025 (Meraki) UK

On-site 🏒 16 October
Cyber & IT Security
London, United Kingdom 🇬🇧

2025 Security Specialist Intern, DC Security

On-site 🏒 30 October
Cyber & IT Security
Frankfurt, Germany 🇩🇪

2025 Security Specialist Intern, DC Security

On-site 🏒 30 October
Cyber & IT Security
Berlin, Germany 🇩🇪

Estágio em Segurança Avançada

On-site 🏒 16 September
Cyber & IT Security
Campinas, Brazil 🇧🇷

Share this job, spread the word!