Senior Software Engineer – AI for RTL Design & Formal Verification
Astera Labs3 hours ago
San Jose, CA, USAMid Level / Senior
H1B sponsor
Base Salary
$161k - $200k/yr
Responsibilities
- Design, develop, and deploy LLM- and agentic-framework-based AI applications for RTL, physical, analog, static, lint, and formal verification workflows.
- Build infrastructure for LLM-powered engineering assistants and multi-turn dialogue systems that help design and verification engineers debug faster and close coverage sooner.
- Develop AI 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.
- Collaborate with RTL design, design verification, formal verification, and CAD/EDA teams to translate engineering pain points 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 foundations in data structures, algorithms, and software engineering practices.
- Experience with LLMs, fine-tuning, multi-agent systems, RAG pipelines, and vector databases.
- Familiarity with Verilog/SystemVerilog and formal/static verification tools such as JasperGold or 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.
- Modern software engineering experience, including version control, testing, and CI/CD, is preferred.
- Strong analytical, communication, interpersonal, self-direction, and problem-solving abilities in a fast-paced, cross-functional environment.
Benefits
- The role may be eligible for discretionary bonus, incentives, and benefits.
- Salary is $160,500–$200,000 depending on experience, level, and business need.
Tech Stack
Categories
About Astera Labs
Astera Labs builds semiconductor-based connectivity solutions and software that link CPUs, GPUs, memory, and storage for AI and cloud data centers, integrating CXL, PCIe, Ethernet, NVLink, and UALink. It offers standards-based and custom connectivity products alongside its COSMOS software suite, serving hyperscalers and server OEMs. Founded in 2017 and headquartered in San Jose, it is a public company listed on Nasdaq under the ticker ALAB.