Staff/ Principal Formal Verification Engineer at Astera Labs

<div class="content-intro"><p><span data-teams="true">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 <a id="menurhut" class="fui-Link ___1q1shib f2hkw1w f3rmtva f1ewtqcl fyind8e f1k6fduh f1w7gpdv fk6fouc fjoy568 figsok6 f1s184ao f1mk8lai fnbmjn9 f1o700av f13mvf36 f1cmlufx f9n3di6 f1ids18y f1tx3yz7 f1deo86v f1eh06m1 f1iescvh fhgqx19 f1olyrje f1p93eir f1nev41a f1h8hb77 f1lqvz6u f10aw75t fsle3fq f17ae5zn" href="http://www.asteralabs.com/" target="_blank">www.asteralabs.com</a>.</span></p></div><p><strong>Role Overview</strong></p> <p>Astera Labs is establishing a strategic R&amp;D center in Israel to drive the development of complex semiconductor chips that solve the critical 'data bottlenecks' enabling the future of AI at scale. As we expand our presence in Israel, we're seeking a visionary <strong>Formal Verification Engineer</strong> to help build our local engineering powerhouse from the ground up. This is a unique opportunity to take on meaningful product ownership in a new site, defining the formal verification strategy for chips that power the world's largest AI clusters.</p> <p><span class="TextRun SCXW214065216 BCX0" lang="EN-US" data-contrast="auto"><span class="NormalTextRun SCXW214065216 BCX0">As the Formal Verification Engineer, you will be a foundational member of our Israel R&amp;D center. You won’t just execute tasks; you will define the&nbsp;</span></span><span class="TextRun SCXW214065216 BCX0" lang="EN-US" data-contrast="auto"><span class="NormalTextRun SCXW214065216 BCX0">Formal verification strategy</span></span><span class="TextRun SCXW214065216 BCX0" lang="EN-US" data-contrast="auto"><span class="NormalTextRun SCXW214065216 BCX0"> for chips that drive the world’s largest AI clusters. You will dive deep into the technical details, proving the correctness of complex designs and ensuring they flawlessly meet specifications.</span></span></p> <p><strong>Key Responsibilities</strong></p> <ul> <li style="text-align: left;" data-path-to-node="6,0,0">Own and develop formal verification environments from scratch through to sign-off</li> <li data-path-to-node="6,1,0">Apply formal verification methodologies and strategies to prove the correctness of intricate designs</li> <li data-path-to-node="6,2,0">Work closely with the Architecture, Design, and DV teams to identify verification needs and pinpoint design requirements</li> <li data-path-to-node="6,3,0">Create robust formal environments, analyze complex RTL designs, and apply advanced formal techniques to find corner-case bugs</li> <li data-path-to-node="6,4,0">Analyze verification results, identify failures, and collaborate directly with designers to resolve issues efficiently</li> <li style="text-align: left;" data-path-to-node="6,5,0">Architect and develop generic, common formal functions and properties to be reused across multiple projects</li> </ul> <p><strong>Basic Qualifications</strong></p> <ul> <li data-path-to-node="8,0,0">Bachelor's degree in Electrical Engineering or a related technical field</li> <li data-path-to-node="8,1,0">5+ years of hands-on experience in Formal Verification within semiconductor companies</li> <li data-path-to-node="8,2,0">Deep expertise in formal verification methodologies, tools, and flows</li> <li data-path-to-node="8,3,0">Strong understanding of RTL design and verification principles</li> <li data-path-to-node="8,4,0">Experience with industry-standard formal verification tools (Jasper, VC Formal, or similar)</li> <li data-path-to-node="8,5,0">Excellent communication skills, strong analytical thinking, and a proactive, "can-do" approach to problem-solving</li> </ul> <p><strong>Preferred Qualifications</strong></p> <ul> <li data-path-to-node="10,0,0">Track record of successfully taking complex blocks or subsystems through the entire formal verification lifecycle</li> <li data-path-to-node="10,1,0">Experience with SystemVerilog UVM-based design verification</li> <li data-path-to-node="10,2,0">Knowledge of networking standards (Ethernet, NVLink, UALink, PCIe)</li> <li data-path-to-node="10,3,0">Background in high-speed serial interface verification</li> </ul> <p>&nbsp;</p> <p>&nbsp;</p><div class="content-conclusion"><p>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.</p></div>