Save application

asteralabs

4 hours ago

Formal Verification and RTL Design Software Engineer

Onsite · San Jose, California, United States San Jose, California, United States

python artificial intelligence

greenhouse

Match & cover letter

Create a profile to see your match and get a cover letter for this role.

Create profile and match

Source: greenhouse Verified source

Never pay or share passwords or codes with an employer. How to spot a fake job

AI TL;DR

You will design and develop AI applications to enhance RTL and formal verification workflows. This role requires collaboration with various engineering teams to improve design processes using advanced technologies.

AI match

Clear role · 80/100 against the market band on this page.

Interview prep for this job

  1. What would you ship in the first month as Formal Verification and RTL Design Software Engineer at asteralabs?
  2. Which tradeoff in the description would you ask about first?
  3. How do you explain a production incident to this team?
  4. What would you measure in the first two weeks?
  5. Which part of your last project maps to this stack?

Five questions are free. The rest are Pro. See Pro

Similar roles

Job description

You will design and develop AI applications to enhance RTL and formal verification workflows. This role requires collaboration with various engineering teams to improve design processes using advanced technologies.

Details

  • San Jose, California, United States, work from office
  • $160,500 to $200,000 depending on experience
  • 4-10 years of industry experience
  • Proficiency in Python

The work

  • Design, develop, and deploy AI applications for RTL and formal verification
  • Build infrastructure for LLM-powered engineering assistants
  • Develop agentic AI solutions for RTL optimization and verification
  • Collaborate with RTL design and verification teams to identify pain points