This job board retrieves part of its jobs from: LA Jobs | Texan Jobs | Illinois Jobs

Find jobs all over the USA

To post a job, login or create an account |  Post a Job

  Jobs all over the United States  

Bringing the best, highest paying job offers near you

previous arrow
next arrow

Formal Verification Engineer – Hardware

Nvidia Corporation

This is a Full-time position in Westborough,MA posted May 27, 2020.

Location:  Westborough,MA

We are looking for a Formal Verification Engineer!

Our Massachusetts design center is focused on SmartNIC system on a chip (SOC) technology, and invents state-of-the-art Arm based CPU subsystems. Our team develops the micro-architecture, RTL design, verification, physical design, and software solutions for this product line. The most integrated, secure and efficient SmartNIC available on the market today, the BlueField dual-port 100Gb/s Ethernet and InfiniBand SoC combines the industry-leading ConnectX®-5 network controller, with a powerful 16 core Arm A72 CPU, DDR4 memory subsystems, and a PCIe switch with 32 PCIe Gen3/4 lanes. BlueField has demonstrated record-setting NVMe-oF performance of 7.5 million IOPS, with zero CPU utilization and under 3 microseconds of NVMe-oF latency.

We are looking for a motivated Formal Verification Engineer. This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking SmartNIC technologies. Our team’s focus is to develop multi core CPU subsystems, and we employ state-of-the art formal verification tools and methodologies to prove design correctness.

Our SmartNIC team delivers world class System on Chip (SoC) solutions for network, storage, and cyber-security markets. We micro-architect, verify, and deliver high performance multi-core ARM CPU subsystems, which target I/O-intensive and compute intensive applications.

Mellanox has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you’ll enjoy a versatile work environment, which is educational, dynamic and ambitious.

What you’ll be doing:

  • In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.

  • You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of Mellanox’s core technology.

What we need to see:

  • MSc/PhD in Mathematics or Electrical/Computer Engineering with 3+ years of relevant experience

  • You have a strong background in algorithms and data structures

  • Strong programming skills in either C/C++, Python, or Perl

  • Excellent analytical, logical reasoning and problem-solving skills

  • Strong debugging and analytical skills.

  • Strong communication and interpersonal skills are required

  • Knowledge of digital logic

Ways to stand out from the crowd:

  • Working experience with formal verification tools such like JasperGold.

We are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future CPU Subsystems for ​​SmartNIC SoCs.

NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression , sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.