ASIC Formal Verification Engineer I, Annapurna Labs

What you’d do

This full-time role involves formal verification engineering for ASIC hardware at Annapurna Labs, focusing on hardware co-design and ensuring functionality and health of silicon products used in AWS accelerated computing. Found on the employer's careers page on Oct 22, 2026. Apply through the link.

You’ll need

• Bachelor's or Master's degree
• Coursework or internship in formal methods (software/hardware)
• Coursework or internship in computer architecture basics