Principal Formal Verification Engineer at asteralabsasteralabs · Bengaluru, Karnataka, India

Posted: 2026-11-05

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 . Principal Formal Verification Engineer Role Overview 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…Sign in to see the original postingBrowse more developer jobs on RoleBurst