Bengaluru, Karnataka, India · On-site
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 fu…
Skills: Formal Verification, SystemVerilog, SVA, Verification Planning, ABV
San Jose, California, United States · On-site
$205k–$255k/yr
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 fu…
Skills: Advanced packaging, Semiconductor engineering, Silicon photonics, 2.5D integration, 3D integration
Aachen, North Rhine-Westphalia, Germany · On-site
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 fu…
Skills: ASIC Design, RTL Design, Microarchitecture, Ethernet, PCIe
Aachen, North Rhine-Westphalia, Germany · On-site
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 fu…
Skills: ASIC Design, RTL Design, Microarchitecture, Ethernet, PCIe
San Jose, California, United States · On-site
$190k–$240k/yr
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 fu…
Skills: Offensive security, Red teaming, Penetration testing, Vulnerability research, Hardware security
San Jose, California, United States · On-site
$190k–$240k/yr
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 fu…
Skills: Security architecture, Threat modeling, Secure-by-design, Cryptography, Identity and access management
San Jose, California, United States · On-site
$185k–$240k/yr
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 fu…
Skills: SerDes, Post-silicon validation, Python, C/C++, Mixed-signal design
San Jose, California, United States · On-site
$160k–$200k/yr
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 fu…
Skills: NPI planning, Supply chain planning, Production planning, Manufacturing operations, ASIC
San Jose, California, United States · On-site
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 fu…
Skills: Optical validation, Silicon photonics, Co-packaged optics, Near-packaged optics, Signal integrity
Bengaluru, Karnataka, India · On-site
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 fu…
Skills: Routing, Switching, Firewalls, Network Security, Wireless Technologies
Research Triangle Park, North Carolina, United States · On-site
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 fu…
Skills: Commercial Strategy, Deal Negotiation, Pricing Frameworks, Hyperscale Customer Engagement, PCIe
San Jose, California, United States · On-site
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 fu…
Skills: High-speed SerDes, Optical Connectivity, Signal Integrity, PCIe Gen 5/6/7, UALink
Haifa, Haifa District, Israel · On-site
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 fu…
Skills: System Validation, SoC Validation, Python, C++, Ethernet
San Jose, California, United States · On-site
$185k–$240k/yr
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 fu…
Skills: Physical Design Methodology, RTL-to-GDSII Flow, Synthesis, Place-and-Route, Static Timing Analysis
San Jose, California, United States · On-site
$230k–$265k/yr
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 fu…
Skills: DFT Strategy, 2.5D/3D Packaging, PCIe Gen3/4/5/6, Scan Insertion, ATPG
San Jose, California, United States · On-site
$251k–$375k/yr
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 fu…
Skills: Physical Design, Chiplet Architectures, Interposer Design, Die-to-Die Interfaces, Advanced Packaging
Bengaluru, Karnataka, India · On-site
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 fu…
Skills: RTL Development, Synthesis, Timing Closure, Micro-architecture, PCIe
Bengaluru, Karnataka, India · On-site
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 fu…
Skills: RTL Development, Synthesis, Timing Closure, Micro-architecture, PCIe
Tel-Aviv, Tel-Aviv District, Israel · On-site
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 fu…
Skills: Logic Design, Verilog, SystemVerilog, RTL Coding, Micro-architecture
San Jose, California, United States · On-site
$237k–$250k/yr
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 fu…
Skills: System Validation, Python, PCIe, CXL, NVMe
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
Develop and execute comprehensive formal verification plans for complex IP and SoC designs to ensure first-pass silicon success. Collaborate with cross-functional teams to drive proof convergence, bug resolution, and the deployment of advanced verification methodologies.
Requires a Bachelor’s or Master’s degree in a relevant engineering field and 5-10 years of experience in semiconductor verification. Candidates must possess expert knowledge of SystemVerilog, SVA, and formal verification tools like JasperGold or VC Formal.
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.
Key Responsibilities
Required Qualifications
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.
AI Your Way. Purpose-built Rack-Scale Connectivity.
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™ Fusion, 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.
Offices: San Jose, CA, US · Toronto, CA · Taipei, TW · Shanghai, CN · Haifa, IL
AI Your Way. Purpose-built Rack-Scale Connectivity.
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™ Fusion, 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.
Offices: San Jose, CA, US · Toronto, CA · Taipei, TW · Shanghai, CN · Haifa, IL
