Top Tech Jobs & Startup Jobs in Montreal

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.

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.