Top Tech Jobs & Startup Jobs in Toronto

The role involves optimizing neural reconstruction workflows using CUDA and PyTorch, analyzing GPU performance, and collaborating to ensure quality and performance improvements in 3D reconstruction systems.

You will verify ASIC design implementation, develop verification infrastructure, optimize verification flows, and collaborate with teams on advanced methodologies.

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.