Teams at NVIDIA

Design, build, and maintain automated infrastructure across bare-metal, virtualized, and containerized environments. Improve CI/CD pipelines, provide automation support for development and verification teams, and enhance reliability and scalability across Linux and Windows systems.

The Senior Formal Verification Engineer will verify ASICs using formal verification methods, ensuring correctness and collaborating with architects and designers across projects.

Develop and optimize on-device AI capabilities for NVIDIA’s GeForce G-Assist. Evaluate Small Language Models for accuracy, robustness, conversational reliability, and contamination issues. Build multimodal and hybrid local-cloud architectures, optimize llama.cpp inference using C/C++, and integrate retrieval-augmented generation and agentic workflows involving planning and tool use. Collaborate with engineering and product teams to balance model performance, system reliability, and user experience.