Internship

ASIC Formal Verification Engineer Intern

Confirmed live in the last 24 hours

Amazon

Amazon

10,001+ employees

Global e-commerce marketplace and cloud services

Consumer Software
Enterprise Software
Consumer Goods

Company Historically Provides H1B Sponsorship

Austin, TX, USA

Category
Electronics Design Engineering
Embedded Systems Engineering
Electrical Engineering
Hardware Engineering
Required Skills
Verilog
Python
OCaml
Haskell
VHDL
Requirements
  • 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 2025 and September 2026
  • Completed coursework or prior internship experience with formal methods (SW/HW)
  • Coursework or prior internship experience in the basics of computer architecture.
  • 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.
Responsibilities
  • Defining and checking the specification of critical hardware modules using formal methods and industrial model checkers.
  • Understanding requirements of specific hardware blocks and writing functional descriptions of correct behavior.
  • Writing specifications in hardware description languages like Verilog and System Verilog Assertions (SVA).
  • Learning techniques for proving the hardware being designed matches the modeled specification using industrial model checkers.
  • Utilizing advanced proof techniques, such as modeling abstractions, and inductive reasoning.
  • Leveraging automation techniques and scripting flows to accelerate proof techniques.

Amazon operates a vast online marketplace where millions of products are sold, allowing both direct sales and third-party listings. It offers subscription services like Amazon Prime for fast shipping and streaming, and provides cloud computing solutions through Amazon Web Services (AWS). The company also runs an affiliate marketing program, Amazon Associates, enabling content creators to earn commissions by promoting products. Amazon's goal is to be the most customer-centric company, providing a wide range of services and a seamless shopping experience.

Company Stage

IPO

Total Funding

$106M

Headquarters

Seattle, Washington

Founded

1994

Growth & Insights
Headcount

6 month growth

-1%

1 year growth

-2%

2 year growth

0%
Simplify Jobs

Simplify's Take

What believers are saying

  • Amazon's continuous innovation, such as the new smart caching feature for Amazon OpenSearch Serverless, keeps it at the forefront of technology.
  • The company's strong financial health, evidenced by significant investments like the $1.90 million from Edge Financial Advisors LLC, ensures stability and growth opportunities.
  • Amazon's leadership in AI, demonstrated by advancements like Agents for Amazon Bedrock, offers employees the chance to work on cutting-edge technologies.

What critics are saying

  • Amazon's focus on efficiency over employee safety, as highlighted in recent reports, could lead to negative public perception and potential legal issues.
  • The competitive landscape in e-commerce and cloud computing is intense, with rivals like Google Cloud and Microsoft Azure posing significant threats.

What makes Amazon unique

  • Amazon's extensive global reach and diverse revenue streams, including e-commerce, AWS, and subscription services, set it apart from competitors who may focus on a single market or revenue model.
  • The company's commitment to renewable energy, achieving 100% renewable energy usage seven years ahead of schedule, highlights its leadership in sustainability.
  • Amazon's robust affiliate marketing program, Amazon Associates, drives significant traffic and sales, providing a unique advantage over competitors.

Help us improve and share your feedback! Did you find this helpful?