Tech Lead, Formal Verification at asteralabsasteralabs · Bengaluru, Karnataka, India

Posted: 2026-10-16

Skills: PythonAstera 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. Key Responsibilities Develop comprehensive formal ver …truncated… 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 F…Sign in to see the original postingBrowse more developer jobs on RoleBurst