AI-Driven RTL Design & Formal Verification Engineer

Asteralabs; San Jose (CA); On-site; USD 161,000 - 200,000; Full time

Benefits offered by this job

Discretionary bonus

Benefits package

Job summary

Astera Labs in San Jose, CA is hiring a Senior Software Engineer for AI-driven RTL design and formal verification. You will build AI-powered assistants, deploy multi-agent frameworks, and integrate with CAD/EDA flows to accelerate debugging and design closure.

The role requires strong ASIC/software background, experience with RTL languages, and familiarity with AI tooling. A competitive salary and discretionary bonus are offered in a fast-paced, cross-functional startup environment.

Qualifications

• Bachelor’s or Master’s degree in Electrical Engineering, Computer Science/Engineering, or equivalent experience.
• 4–10 years of industry software engineering experience with RTL design or formal verification.
• Proficient in Python for rapid prototyping and data structures.

Responsibilities

• Design, develop, and deploy AI applications to support RTL, physical and analog design, and formal verification.
• Build infrastructure to deploy LLM-powered assistants and multi-turn dialogue systems.
• Develop agentic AI solutions for RTL rules, linting, and formal verification workflows.
• Collaborate with RTL design, DV, and CAD/EDA teams to translate pain points into tooling.

Skills

LLMs & multi-agent systems

AI tooling for RTL

Cross-functional collaboration

Strong communication

Education

Bachelor’s/Master’s in EE/CS

Tools

Python

Verilog/SystemVerilog

JasperGold/VC Formal

CI/CD tooling

Job description

Astera Labs in San Jose, CA is hiring a Senior Software Engineer for AI-driven RTL design and formal verification. You will build AI-powered assistants, deploy multi-agent frameworks, and integrate with CAD/EDA flows to accelerate debugging and design closure.

The role requires strong ASIC/software background, experience with RTL languages, and familiarity with AI tooling. A competitive salary and discretionary bonus are offered in a fast-paced, cross-functional startup environment.