Senior Chip Design and Formal Verification Engineer at NVIDIA (Shanghai, Beijing)