Distinguished Formal Verification

Onsite 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.

Create profile and match

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