Astera Labs

Tech Lead, Formal Verification

Bengaluru, Karnataka, India · Work style not stated

Apply on the employer’s site ↗See how well you match this job

You apply directly with the employer. ROLIVA does not submit applications from this page and is not the employer.

About the role

Description from the employer’s posting. Check the employer’s page for the current version.

EmployerAstera Labs
LocationBengaluru, Karnataka, India
Work styleWork style not stated
Employer posted2 months ago

Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs’ Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company’s COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company’s custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com.

We are looking for a Tech Lead, Formal Verification Engineer with 5–10 years of experience to lead formal verification efforts for complex IP and SoC designs. The ideal candidate will have deep expertise in assertion-based verification, property checking, formal proof methodologies, and advanced verification tools. This role requires close collaboration with Architecture, RTL Design, and Design Verification teams to ensure first-pass silicon success for Astera Labs' next-generation connectivity and AI infrastructure products.

Show full description

Key Responsibilities

Develop comprehensive formal verification plans from architecture and design specifications by identifying critical design properties, protocol requirements, and micro-architectural invariants.
Develop and execute formal verification environments, assertions, properties, and checkers.
Drive proof convergence through advanced abstraction and complexity reduction techniques.
Collaborate with RTL designers, architects, and verification teams to understand design intent and verification requirements.
Evaluate, deploy, and scale formal verification methodologies, flows, and tools across projects.
Improve verification productivity through reusable methodologies, automation, and best practices.
Ensure comprehensive design correctness and provide technical leadership and mentorship across multiple projects.
Drive bug triage, root-cause analysis, and resolution in collaboration with cross-functional teams.
Support project planning by estimating verification effort, tracking execution progress, identifying risks, and driving mitigation plans.
Participate in design reviews and contribute to verification sign-off strategies and quality metrics.
Promote assertion-driven design practices and formal verification adoption across engineering teams.

Required Qualifications

Bachelor’s or Master’s degree in Electronics, Electrical Engineering, Computer Engineering, or a related field.
5-10 experience in semiconductor verification, including significant formal verification experience.
Expert knowledge of SystemVerilog, SVA,Verification planning & closure and ABV verification techniques.
Hands-on experience with one or more formal verification tools – JG, VCF preferably.
Experience verifying complex protocols, control logic, and SoC or subsystem-level designs.
Strong scripting skills in Python, Perl, Tcl, or Shell.
Excellent analytical, debugging, and problem-solving capabilities
Experience leading technical efforts or mentoring team members.
Strong communication and cross-functional collaboration skills.

Preferred Qualifications

Experience with industry-standard formal verification tools such as JasperGold, VC Formal, or equivalent solutions.
Experience verifying high-speed protocols and interfaces including PCIe®, UALink™, CXL®, Ethernet, SerDes, or related technologies.
Knowledge of NoC architectures, cache coherency protocols, memory subsystems, and interconnect fabrics.
Experience with formal bug hunting, proof-based verification, and coverage-driven verification methodologies.
Prior experience leading technical teams and mentoring engineers.
Exposure to simulation, emulation, and the broader verification lifecycle is a plus.
Track record of contributing to successful silicon tape-outs.

We know that creativity and innovation happen more often when teams include diverse ideas, backgrounds, and experiences, and we actively encourage everyone with relevant experience to apply, including people of color, LGBTQ+ and non-binary people, veterans, parents, and individuals with disabilities.

See how well you match this job Apply on the employer’s site ↗

Check your resume against this job Free, no sign-up. Nothing you paste is stored.

Staying safe while you apply

Never pay to apply, interview or accept an offer. ROLIVA never asks you for payment to apply to a job.
Apply only through the official “Apply on the employer’s site” button, on the employer’s own site, and check that a recruiter’s email uses that employer’s own domain rather than a free email address.
Be cautious of an offer made with no real interview, or pressure to decide quickly or share financial details early.

Does something look wrong with this listing? Use “Report broken link” in the role details, or read ROLIVA’s full job-safety guidance ↗.

Preparing for this role with ROLIVA

Check the fit.
Compare the requirements with the experience you have confirmed, including gaps.
Prepare honestly.
Build interview stories and application drafts from your own evidence.
Keep track.
Save the role and record your own application status and follow-ups.

Create a free workspace or log in.