Get roles like this, scored and matched, in your inbox.
Sign up free →Job Opening
Principal Formal Verification Engineer
Astera Labs · Bengaluru, Karnataka · Posted 1 day ago
Principal Formal Verification Engineer
We are looking for a Principal Formal Verification Engineer with 10+ years of experience to lead formal verification efforts for complex semiconductor and silicon designs. This role will be responsible for driving verification strategy, improving design quality, and mentoring engineers while working closely with design, architecture, and validation teams.
Key Responsibilities
- Lead formal verification activities for block-level and subsystem-level designs.
- Define formal verification plans, methodologies, and closure criteria for complex digital designs.
- Develop and execute formal verification environments, assertions, properties, and checkers.
- Collaborate with RTL designers, architects, and verification teams to understand design intent and verification requirements.
- Identify functional corner cases, protocol issues, and design bugs early in the development cycle.
- Drive bug triage, root-cause analysis, and resolution with cross-functional teams.
- Improve verification productivity through reusable flows, automation, and best practices.
- Mentor and guide junior verification engineers and contribute to team capability building.
- Support project planning by estimating verification effort, tracking progress, and highlighting risks.
Required Qualifications
…
This posting is sourced from Astera Labs's own career site — applying takes you there directly.
Get roles like this, scored and matched, in your inbox.
Sign up free →Related roles
There are 191 open roles at Astera Labs right now. This role centers on Formal Verification, Rtl Design, Systemverilog, and Systemverilog Assertions.
See this month's Hiring Index: Fabs Are Closing. Design Isn't. for the broader trend behind roles like this one.
Want roles like this found for you?
Set your Focus once. Career Engine screens every new opening every week.
A scored, explained shortlist — not a keyword match — delivered weekly. Free for one profile.