Senior AI Engineer for RTL Design & Formal Verification
Jobleads-US
Astera Labs in San Jose, CA, is seeking a Senior Software Engineer for AI-driven RTL design and formal verification. You will develop and deploy AI applications using LLMs and agentic frameworks to accelerate RTL, static checks, and formal verification workflows.
Work with RTL design, DV, formal verification, and CAD/EDA teams to translate design challenges into AI-assisted tooling, build scalable infrastructure for multi-agent systems, and deliver tangible improvements in design closure and bug
#J-18808-Ljbffr Jobleads-USVacancy posted 11 hours ago
Similar jobs that could be interesting for youBased on the Senior AI Engineer for RTL Design & Formal Verification in San Jose, CA vacancy
$160.5k - $200k
...Senior Software Engineer- AI for RTL Design & Formal Verification San Jose, California, United States Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners...SeniorFor contractorsFlexible hours$157k - $235k
...Synopsys is the leader in engineering solutions from silicon... ...to rapidly innovate AI-powered products. We... ...industry-leading silicon design, IP, simulation and... ...spent years working with formal verification tools and you know the... ...~ Solid grasp of RTL design, verification methodologies...Senior- ...Cadence Design Systems seeks a Software Engineer for its Research & Development group, focusing on advanced software for physical verification at leading-edge semiconductor nodes. The role drives innovation in development and validation of software used to design and...Senior
- ...Cadence Design Systems is seeking a talented Software Engineer for its R&D group to create advanced software for physical verification of semiconductor devices. The role emphasizes design, validation, and collaboration across a distributed team to advance technology at...Senior
- ...Intel is seeking a Senior Design Verification Engineer for the Silicon Chassis team, focusing on end-to-end verification... ...Drive convergence of simulation and formal verification into unified bug hunting... ...systems. Working familiarity with RTL, physical design, and CAD tool flows....Senior
AnySilicon
Santa Clara, CA3 days ago $139k - $208.4k
...Responsibilities As a Senior Engineer GPU Graphics Core Performance Verification Engineer, you will help... ...optimization by ensuring GPU designs meet targeted... ...architecture, modeling, RTL, and validation teams to... ...graphics workloads, and AI/ML compute trends. Skills...SeniorHourly payFull timeRelocation- ...Application Engineering Application Engineering... ...cloud computing, and AI, we depend on computing... ...We are looking for a Senior Design Verification Engineer to join a... ...Knowledge ofCDC/RDC, formal verification, and low... ...flow integration RTL and gate-level simulations...SeniorWork at office
proteanTecs
Santa Clara, CA3 days ago - ...the RoleIntel is seeking a Senior Design Verification Engineer for the Silicon Chassis team... ..., with enough breadth in RTL, physical design, and CAD to... ...traditional discipline boundaries. AI-assisted workflows are part... ...of simulation and formal verification into unified bug...SeniorFull timeInternshipLocal areaImmediate startShift work
Intel
Santa Clara, CA4 days ago $138k - $197k
Plan the formal verification strategy, create the properties and constraints for the digital design blocks.Utilize formal property verification tools... ...'s degree in Electrical Engineering, Computer Engineering,... ...work to shape the future of AI/ML hardware acceleration. You...WorldwideGoogle
Sunnyvale, CA3 days ago$216.78k - $390.2k
...seeking an industry leading AI and semiconductor technology... ...AI across the semiconductor design lifecycle, enabling AI-assisted... ...management, sensing, memory, verification, layout, test, packaging, and... ...authority for Agentic AI Design Engineering and will lead the...SeniorLocal areaOnsemi
San Jose, CA2 days ago- ...Cadence Design Systems in California is seeking a Senior Engineer for the System Verification Group to advance the Xcelium RTL/logic simulator and tackle the growing complexity of AI and hyperscale chip designs. You will join a geographically distributed team, lead...Senior
$140k - $200k
...We are seeking DV engineers to verify complex internal IP blocks such as compute engines... ...Responsibilities Develop and maintain UVM-based verification environments Create test plans,... ...Perform functional verification of RTL designs Debug RTL and testbench issues...SeniorWork at officeL&T Technology Services
San Jose, CA3 days ago$200k
...We are looking for talented Design Verification Engineers to help verify and deliver Velaura... ...’s next-generation Physical AI SoC. In this role, you will... ...closely with architects, RTL engineers, software... ...SystemVerilog, UVM, C/C++, assertions, formal verification, emulation, and...SeniorFull timeFlexible hoursVelaura AI
Santa Clara, CA5 days ago$200k
...We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal... ...'s next-generation Physical AI SoC. You will apply formal methods... ...hardest correctness problems in the design, working with architects, RTL, and verification teams to prove...SeniorFull timeFlexible hoursVelaura AI
Santa Clara, CA5 days ago$163k - $236k
Plan the verification of complex digital design blocks by understanding the design specification... ...interacting with design engineers to identify important... ...SystemVerilog and UVM, or formally verify designs with SVA and... ...work to shape the future of AI/ML hardware acceleration....SeniorWorldwideGoogle
Sunnyvale, CA1 day ago$161k - $299k
...the next generation of hardware verification technology. As a Senior Engineer in the System Verification... ...staggering complexity of future AI and hyperscale chip designs. You will be part of an innovative... ...advancing the capabilities of RTL/logic simulation for semiconductor...SeniorCadence Design Systems
San Jose, CA1 day ago$161k - $299k
...Overview We are seeking a talented Software Engineer to join our Research & Development (R&D)... ...software solutions for physical verification products at leading-edge semiconductor nodes... ...and validation of software used in the design and manufacturing of next-generation...SeniorWork experience placementCadence Design Systems
San Jose, CA3 days ago$142.6k - $206.5k
...development, which includes participating in high-level product specifications, logic/RTL design and implementation, RTL verification, IP FPGA validation and debugging. As Lead DV Engineer focusing on IP Verification & Validation, you will carry out design validation for...SeniorLocal areaShift work191 Altera Corporation
San Jose, CA3 days ago- ...generation computing experiences—from AI and data centers, to PCs, gaming and... ...AI and beyond. THE ROLE: As a Senior CPU Design Verification Engineer, you will join a CPU testbench infrastructure... ...and UVM Familiarity with RTL design (Verilog or equivalent) Scripting...Senior
Advanced Micro Devices , Inc.
Santa Clara, CA3 days ago $186.9k - $267.7k
...platforms central to the AI era, powering Cisco’s... ...product development—from design to qualification to... ...and execution of ASIC verification for complex networking... ...mentorship to verification engineers, promoting best practices... ...with architecture, RTL, emulation, FPGA, and post...Full timeTemporary workLocal areaFlexible hoursCISCO Systems
San Jose, CA1 day ago$136k - $218.5k
...actively searching for talented Senior Verification Engineers to ensure the integrity and... ...the micro-architecture, design, verification,... ...coverage. Innovate by bringing AI and LLM-driven workflows into... ..., functional coverage, and formal test plan documentation....SeniorNVIDIA
Santa Clara, CA4 days ago$2,500 per month
...frontier intelligence. We co-design chips, racks, software,... ...and staffed by leading engineers, Etched is redefining... ...We are using AI to build AI chips. AI agents... ...to genuinely work for verification, debug, and EDA flows —... ...with our hardware teams — RTL design, verification,...Work at officeRelocation packageNight shiftEtched
San Jose, CA15 days ago- ...computing experiences—from AI and data centers, to PCs, gaming... ...are seeking a high‑impact Design Verification Engineer with strong technical depth,... ...intricate architecture/RTL issues, and is comfortable leading... ...verification (UPF), or formal verificationFamiliarity with...Senior
AMD
Santa Clara, CA4 days ago $106.4k - $172.15k
...Execution, Integrity, and Inclusion. We weave AI into the fabric of everything we do... .... Job Summary Your Career As a Design Verification engineer on the ASIC team, you will ensure that... ...including simulation, emulation, formal verification, and silicon validation....SeniorFull timeCasual workWork at officePalo Alto Networks
Santa Clara, CA4 days ago$150k - $350k
About ChipAgents ChipAgents is redefining the future of chip design and verification with agentic AI workflows. Our platform leverages cutting-edge generative AI to assist engineers in RTL design, simulation, and verification, dramatically accelerating chip development...$180k - $255k
...in next-generation AI infrastructure,... ...the team The RTL design team builds the compute... ...RTL Design Engineer to own the microarchitecture... .... This is a senior individual contributor... ...with design verification to define verification... ...without formal authority, including...Full timeTemporary workLocal areaWorldwideFlexible hours- ...innovators helping enterprises move beyond AI experimentation and into real-world... ...products, and services. We combine deep engineering expertise with AI innovation to help clients... ...a Lead Generative AI Engineer, you will design, develop, and deploy enterprise AI agents...Senior
Publicis Media
San Jose, CA3 days ago - ...scientific discovery to powering AI and the technologies people... ...ROLE: As an AMD-AECG Design Automation Engineer, you will help build the... ...architects, designers, and verification engineers access and leverage... ...Familiarity with RTL/HDL/Physical Design semantics...
Advanced Micro Devices, Inc.
San Jose, CA1 day ago - ...NVIDIA Corporation in Santa Clara seeks an AI infrastructure software engineer to design, build, and maintain scalable AI infrastructure for pre-training, post-training, and inference. You will work on APIs, resiliency stacks, and reliability metrics with a focus on efficiency...Senior
- ...Google LLC in Sunnyvale, CA is hiring a Performance Co-Design Engineer for Google Cloud TPU. You will shape AI/ML hardware acceleration, drive TPU architecture... .... The role emphasizes end-to-end design and verification of TPU components, working within Google’s AI and...Senior
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior AI Engineer for RTL Design & Formal Verification. Be the first to apply!
Related searches
- senior ai engineer San Jose, CA
- ai developer San Jose, CA
- ai prompt engineer San Jose, CA
- ai engineer San Jose, CA
- ai engineer remote San Jose, CA
- senior computer engineer San Jose, CA
- senior manager customer operations San Jose, CA
- senior software engineer ruby on rails San Jose, CA
- sr finance manager San Jose, CA
- sr marketing manager San Jose, CA