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.

Leads a distributed team of security and infrastructure engineers responsible for securing NVIDIA’s large-scale DGX Cloud GPU fleet. Sets technical direction for security control planes and foundational services, oversees hiring and talent development, drives measurable risk reduction, and ensures operationally ready engineering delivery. The role requires cross-functional influence across platform, SRE, networking, and security teams, along with expertise in cloud-native architecture, Kubernetes, identity and access, policy enforcement, and vulnerability management.

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.