Teams at NVIDIA

As a Senior Formal Verification Engineer, you will verify ASICs using formal methods, collaborate multi-functionally, lead methodology enhancements, and mentor junior engineers while ensuring compliance and correctness.

Build and operate CI/CD, testing, release, and GPU-enabled infrastructure for NVIDIA Isaac Sim. Responsibilities include managing cloud and on-premises runners, integrating automated simulation and performance tests, optimizing build pipelines, creating reproducible environments and artifacts, monitoring infrastructure health, troubleshooting complex software and GPU issues, and strengthening release security and traceability.

Build and lead development of NVIDIA’s open-source NeMo Core Platform for executing, evaluating, deploying, and optimizing agentic AI systems across local, Docker, Kubernetes, Slurm, on-premises, and air-gapped environments. Responsibilities include designing platform APIs, plugin architecture, job orchestration, SDKs, reliability and observability capabilities, testing, performance improvements, technical leadership, code reviews, mentoring, and cross-team problem solving.