Senior Software Engineer- AI for RTL Design & Formal Verification
Astera LabsBase Salary
$161k - $200k/yr
Responsibilities
- Design, develop, and deploy LLM-powered AI applications and agentic systems for RTL, physical, analog, static analysis, lint, and formal verification workflows.
- Build infrastructure for engineering assistants and multi-turn dialogue systems that help design and verification teams debug issues and improve coverage.
- Develop solutions for RTL rule and lint checking, RTL optimization, bug triage, formal proof convergence, and static verification report analysis.
- Fine-tune and integrate AI solutions with existing CAD/EDA flows.
- Build and maintain design databases and dashboards combining agentic and deterministic retrieval for engineering data.
- Collaborate with RTL design, design verification, formal verification, and CAD/EDA teams to translate workflow needs into AI-assisted tooling.
Requirements
- Bachelor's or master's degree in Electrical Engineering, Computer Science/Engineering, or equivalent experience.
- 4–10 years of industry experience in software engineering with direct exposure to RTL design, static/lint verification, or formal verification methodologies.
- Proficiency in Python and strong fundamentals in data structures, algorithms, and software engineering practices.
- Experience with LLMs, including fine-tuning, multi-agent systems, RAG pipelines, and vector databases.
- Familiarity with Verilog/SystemVerilog and formal or static verification tools such as JasperGold and VC Formal is strongly preferred.
- Experience applying AI/ML techniques to EDA or CAD flow problems is preferred.
- Experience with formal property verification, assertion-based verification using SVA, or static timing/lint tools is preferred.
- Strong analytical, communication, interpersonal, self-direction, and problem-solving skills in a cross-functional startup environment.
Benefits
- The role may be eligible for discretionary bonus, incentives, and benefits.
- The posting encourages applicants from diverse backgrounds and identities.
Tech Stack
Categories
About Astera Labs
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.