asteralabs
29 days ago
Distinguished Formal Verification
Onsite · San Jose, CA San Jose, CA
python
compute connectivity engineering 1
greenhouse
Match & cover letter
Create a profile to see your match and get a cover letter for this role.
Source: greenhouse Verified source
Never pay or share passwords or codes with an employer. How to spot a fake job
AI TL;DR
Join Astera Labs in San Jose as a technical authority in formal verification, shaping methodologies for advanced connectivity solutions. This role involves leading a global team and ensuring high-quality standards across next-generation products.
AI match
Clear role · 80/100 against the market band on this page.
Interview prep for this job
- What would you ship in the first month as Distinguished Formal Verification at asteralabs?
- Which tradeoff in the description would you ask about first?
- How do you explain a production incident to this team?
- What would you measure in the first two weeks?
- Which part of your last project maps to this stack?
Five questions are free. The rest are Pro. See Pro
Similar roles
- Firmware Engineer asteralabs
- Principal Engineer, Hardware Emulation samsungsemiconductor
- Principal Engineer, High-Speed I/O Analog-Mixed Circuit samsungsemiconductor
- AE| Principal Product Application Engineer (Scorpio) asteralabs
- Design Verification Tech Lead- SerDes/PHY IP asteralabs
- Fabric Modeling and Analysis Engineer for Scale Up Fabric asteralabs
Job description
Join Astera Labs in San Jose as a technical authority in formal verification, shaping methodologies for advanced connectivity solutions. This role involves leading a global team and ensuring high-quality standards across next-generation products.
Details
- San Jose, CA, work from office
- $230,000 to $285,000 depending on experience
- 15+ years of experience in formal verification or 18+ years in traditional design verification with formal specialization
- Strong proficiency in SystemVerilog/Verilog and advanced scripting abilities with Python
The work
- Define and evolve formal verification strategy and methodologies for various protocols
- Develop detailed formal verification test plans and collaborate with design teams
- Implement formal verification models and utilize assertion-based model checking
- Mentor engineers in advanced formal verification techniques