Internship

2025 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

Applications considered for all locations in the United States.

Category
Embedded Systems Engineering
Electrical Engineering
Hardware Engineering
Hardware Validation & Testing
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 large online marketplace where millions of products are sold across various categories, including electronics, books, and clothing. Customers can purchase items directly from Amazon or from third-party sellers who use the platform. The company also offers subscription services like Amazon Prime, which provides benefits such as free shipping and access to streaming content. Additionally, Amazon has a significant cloud computing division called Amazon Web Services (AWS), which offers businesses scalable computing and storage solutions. Another key aspect of Amazon's business is its affiliate marketing program, where content creators can earn commissions by promoting Amazon products. This combination of services and revenue streams helps Amazon maintain its leadership in the global e-commerce market.

Company Stage

IPO

Total Funding

$106M

Headquarters

Seattle, Washington

Founded

1994

Growth & Insights
Headcount

6 month growth

-3%

1 year growth

-13%

2 year growth

0%
Simplify Jobs

Simplify's Take

What believers are saying

  • EKS Auto Mode could attract more enterprise clients to AWS, boosting revenue.
  • Skydo partnership enhances Amazon's presence in the Indian market, increasing sales potential.
  • Dual Audio feature on Fire TV may expand market share among hearing-impaired users.

What critics are saying

  • Worker strikes at U.S. facilities could disrupt operations during peak shopping periods.
  • Amy Armstrong's departure may impact Amazon's advertising strategies and client relationships.
  • Skydo partnership may expose Amazon to regulatory risks in the Indian market.

What makes Amazon unique

  • Amazon's AWS offers advanced cloud solutions like EKS Auto Mode for Kubernetes management.
  • Amazon Prime provides unique benefits like free shipping and exclusive streaming content.
  • Amazon's global marketplace supports diverse product categories and third-party seller integration.

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