NVIDIA is a leader in Artificial Intelligence and computer graphics, seeking a Verification Engineer to enhance their compiler technology. The role involves designing C++ tests, automating testing processes, and ensuring high-quality standards in compiler verification.
Responsibilities:
- Design industry grade C++ testsuite, focusing on modern C++ standards C++23/26
- Identify potential gaps in current test procedures and leverage modern LLM technologies to increase quality of C++ testing
- Automate compiler testing using NVIDIA test frameworks and programming. This includes test execution, test reporting, results analysis, and automation of build and test environments
- Apply current iterative planning and test development processes in existing test coverage and work on closing test gaps
Requirements:
- Bachelor's or master's degree in computer science/computer engineering or equivalent experience
- 2+ years' work experience in a software development or test organization
- Proficiency in programming and/or testing in C++ and advanced level of understanding ISO C++20/23/26 features
- Expertise in compilers / low-level software tools, understanding how they work and are implemented, with a proven track record to solve problems and implement solutions
- Experience in writing test plans, test development, test automation, test execution, and reporting in a production environment
- Deep understanding of Software Development Process (SDLC), High-Performance Computing (HPC), and Software Testing Methodologies
- Excellent interpersonal skills, self-motivated, and well-organized
- 2+ years' experience testing production software, preferably compilers or other system software specifically in testing programming languages using modern AI /LLM technologies
- Previous experience in compiler development, verification/testing, or performance analysis (i.e., developing/testing C++ runtime libraries, built-ins/Intrinsics)
- Experience working with low-level ISA - ARM64, X64, RISC-V
- Experience in ABI verification is a bonus
- Background with revision control software and management tools, such as Git, Perforce, JIRA and Make