Formal Verification Engineer
Location: Durham, NC, United States
Share:
Description
Invent the future with us.
Recognized by Fast Company’s 2023 100 Best Workplaces for Innovators List, Ampere is a semiconductor design company for a new era, leading the future of computing with an innovative approach to CPU design focused on high-performance, energy efficient, sustainable cloud computing.
In this role, you will be at the forefront of AI innovation, building AmpereOne Aurora, our groundbreaking AI compute solution. Aurora combines high-performance general-purpose CPUs with integrated AI capabilities, offering a compelling combination of efficiency and market reach. This revolutionary product is poised to deliver superior performance while consuming significantly less power.
Join us at Ampere and work alongside a passionate and growing team — we’d love to have you apply!
About the Role:
As a Formal Verification Engineer, you will be a key member of the design verification team at Ampere to deliver our high-quality next generation AI integrated, cloud-native server class SoCs. You will leverage advanced techniques to identify functional bugs not found using constrained random methods. You will work with architecture, design, and DV team members to write plans, implement proofs, and debug failures. On our team, you'll have full ownership in shaping and defining this role.
What You'll Achieve:
- Use rigorous mathematical techniques to ensure A0 works as expected.
- Uncover functional bugs where constrained random techniques fail.
- Develop and execute test plans; debug simulation failures; review coverage.
About you:
- 3+ years of hands-on formal verification experience (on CPU platforms preferred).
- Experienced using formal verification tools: JasperGold or Synopsys VC Formal.
- Solid understanding of computer architecture, especially memory hierarchy.
- Skilled in System Verilog
- Worked with the common industry programming languages (e.g., C, C++, Perl, Python).
- Understanding of the ARM AMBA (APB, AXI, CHI) protocols a plus.
- Additional skills highly desired: Familiar with Murphi and TLA/TLA+ verification methods.
Education:
- BS degree in Electrical Engineering, Computer Engineering, or Computer Science & 5 years of related experience or MS degree & 3 years
What we’ll offer:
At Ampere we believe in taking care of our employees and providing a competitive total rewards package that includes base pay, bonus (i.e., variable pay tied to internal company goals), long-term incentive, and comprehensive benefits. The full base pay range for this role is between $118,000 and $196,500, except in the San Francisco Bay Area where the range is between $130,000 and $216,000.
Our benefits include health, wellness, and financial programs that support employees through every stage of life, with full benefits eligibility at 20 hours per week.
Benefits highlights include:
- Premium medical insurance, dental insurance, vision insurance, as well as income protection and a 401K retirement plan, so that you can feel secure in your health and financial future
- Unlimited Flextime and 10+ paid holidays so that you can embrace a healthy work-life balance
- A variety of healthy snacks, energizing espresso, and refreshing drinks to keep you fueled and focused throughout the day
And there is much more than compensation and benefits. At Ampere, we foster an inclusive culture that empowers our employees to do more and grow more. We are passionate about inventing industry leading cloud-native designs that contribute to a more sustainable future. We are excited to share more about our career opportunities with you through the interview process.
#LI-GW1
#LI-Hybrid
#LI-Hybrid
Ampere is an inclusive and equal opportunity employer and welcomes applicants from all backgrounds. All qualified applicants will receive consideration for employment without regard to race, color, national origin, citizenship, religion, age, veteran and/or military status, sex, sexual orientation, gender, gender identity, gender expression, physical or mental disability, or any other basis protected by federal, state or local law.
Share:
