Senior Compiler Verification Engineer

Posted 21 Days Ago
Be an Early Applicant
Cambridge, Cambridgeshire, England
Senior level
Artificial Intelligence • Hardware • Robotics • Software • Metaverse
The Role
As a Senior Compiler Verification Engineer at NVIDIA, you will design and implement solutions to verify compilers for GPU products, capture verification requirements, create documentation, and utilize innovative methods like machine learning and formal verification to enhance compiler quality.
Summary Generated by Built In

NVIDIA's invention of the GPU in 1999 fueled the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, we are increasingly known as “the AI computing company”.

Behind almost every NVIDIA breakthrough lies the critical work of our compiler teams. As we push the boundaries of high-performance computing and AI, we're growing our compiler capabilities to match our ambitions. We're establishing a new compiler verification engineering team in the UK to ensure the robustness and reliability of our compilers for next-generation technologies. You will be one of the first members of this team and this provides you with an excellent opportunity to grow and make a mark on the future of this team!

What you’ll be doing:

  • Work with geographically dispersed compiler and other related teams to capture compiler verification requirements

  • Design and implement software solutions to verify NVIDIA compilers for GPU-enabled products

  • Create and review compiler verification plans & design documents, verification code, and test libraries

  • Utilize machine learning, formal verification, fuzzing, and other innovative methods to automate the compiler verification process and enhance compiler quality

What we need to see:

  • BS/MS in Computer Science or a related field with 5+ years of proven experience

  • Prior experience in compilers or a similar technology

  • Deep expertise in C++, CUDA, PTX, or similar programming languages

  • Exposure to either - spec level understanding of a programming language - or, sophisticated processor architecture

  • Strong problem-solving skills and a passion for software quality

Ways to stand out from the crowd:

  • Hands-on compiler development or verification experience

  • Application of machine learning to solve software engineering problems

  • Experience in formal verification of software solutions

With highly competitive salaries and a comprehensive benefits package, NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most innovative and talented people in the world working for us and, due to outstanding growth, our world-class engineering teams are growing fast. By joining NVIDIA's new compiler verification team, you'll be at the forefront of this exciting landscape, working on technologies that will define the future of computing.

NVIDIA is an equal opportunity employer committed to encouraging a diverse and inclusive workplace. We do not discriminate based on race, religion, colour, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Top Skills

C++
Cuda
Ptx
The Company
HQ: Santa Clara, CA
21,960 Employees
On-site Workplace
Year Founded: 1993

What We Do

NVIDIA’s invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, NVIDIA is increasingly known as “the AI computing company.”

Similar Jobs

Hybrid
London, Greater London, England, GBR
289097 Employees

Anduril Logo Anduril

ME Payload Design and Integration Engineer

Aerospace • Artificial Intelligence • Hardware • Robotics • Security • Software • Defense
London, Greater London, England, GBR
1400 Employees

Anduril Logo Anduril

Mission Software Engineer, Connected Warfare (SC Clearance)

Aerospace • Artificial Intelligence • Hardware • Robotics • Security • Software • Defense
London, Greater London, England, GBR
1400 Employees
Easy Apply
London, Greater London, England, GBR
1300 Employees

Similar Companies Hiring

Jobba Trade Technologies, Inc. Thumbnail
Software • Professional Services • Productivity • Information Technology • Cloud
Chicago, IL
45 Employees
RunPod Thumbnail
Software • Infrastructure as a Service (IaaS) • Cloud • Artificial Intelligence
Charlotte, North Carolina
53 Employees
Hedra Thumbnail
Software • News + Entertainment • Marketing Tech • Generative AI • Enterprise Web • Digital Media • Consumer Web
San Francisco, CA
14 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account