ASIC Formal Verification Engineer I, Annapurna Labs at Amazon · Austin, TX · Joined
A
ASIC Formal Verification Engineer I, Annapurna Labs
Amazon · Austin, TX · Just now · 0 applicants
NewOn-siteFull-timeJunior
Pay
Pay not listed
Workplace
On-site
Job type
Full-time
Level
Junior
Team: Annapurna Labs · Source: jobright · Posted by joined-scrapper
About the role
Annapurna Labs designs hardware for AWS accelerated computing; this entry-level role verifies machine-learning accelerator modules using formal methods and model checkers.
What you’ll do
Define and check hardware specifications for machine-learning acceleration modules
Use formal methods and model checkers to verify hardware behavior
What you’ll need
Bachelor's or Master's degree (or expected)
Coursework or internship experience with formal methods and computer architecture basics
Experience with hardware model checkers (JasperGold, VC Formal) and RTL Verilog
Knowledge of formalization techniques
Experience with scripting languages such as Python or TCL
Ability to articulate technical challenges and handle ambiguous problems
Original job description
Annapurna Labs (U.S.) Inc. designs hardware and software for accelerated computing products used by AWS customers. The ASIC Formal Verification Engineer I defines and checks hardware specifications for machine-learning acceleration modules, using formal methods and model checkers to verify hardware behavior.To qualify, applicants should have earned (or…