Astera Labs is a global leader in purpose-built connectivity solutions that unlock the full potential of AI and cloud infrastructure. Our Intelligent Connectivity Platform integrates PCIe®, CXL®, and Ethernet semiconductor-based solutions and the COSMOS software suite of system management and optimization tools to deliver a software-defined architecture that is both scalable and customizable. Inspired by trusted relationships with hyperscalers and the data center ecosystem, we are an innovation leader delivering products that are flexible and interoperable. Discover how we are transforming modern data-driven applications at www.asteralabs.com.
Basic Qualifications:
- Bachelor’s degree in Electrical Engineering (EE) is required; a Master’s or PhD in EE is preferred. Additional background in Math or Computer Science is highly desirable.
- 5+ years of experience in formal verification or 7+ years of experience in traditional design verification (DV).
- Strong professional work ethic with the ability to manage and prioritize multiple tasks in a dynamic environment.
- Proven ability to plan and prepare for customer meetings and to work with minimal supervision.
- Entrepreneurial mindset with a proactive, customer-focused attitude. Ability to think and act quickly while maintaining a high standard of quality.
- Strong cross-functional collaboration skills.
Required Experience:
- Develop detailed formal verification (FV) test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications.
- Identify key logic components and critical micro-architectural properties essential for ensuring design correctness.
- Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs.
- Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth.
- Develop and maintain scripts to enhance FV productivity and streamline verification processes.
- Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels.
- Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback.
- Strong proficiency in System Verilog/Verilog.
- Good scripting abilities with Python or Perl.
Preferred Experience:
- Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold.
- Experience with both bug hunting and static proof verification techniques.
- Familiarity with automating formal verification workflows within a CI/CD environment.
We know that creativity and innovation happen more often when teams include diverse ideas, backgrounds, and experiences, and we actively encourage everyone with relevant experience to apply, including people of color, LGBTQ+ and non-binary people, veterans, parents, and individuals with disabilities.
Other Jobs from Astera Labs
Senior DFT Engineer (Design For Test)
QA Firmware Engineer
Senior Formal Verification Engineer
Senior Design Verification Engineer
Principal Design Verification Engineer - CXL/PCIe
Similar Jobs
Junior Site Reliability Engineer
Senior Software Engineer
Senior Software Engineer
Senior Data Engineer
Senior Data Engineer (f/m/d)
Senior Staff Design Verification Engineer
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 401 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got about 70,000 jobs from 5,000 vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 5,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say