They use the SPARK subset of Ada to develop the most critical parts of their DriveOS. This contributed to their success of getting DriveOS certified at the highest automotive safety standard, ASIL-D.
https://www.eenewseurope.com/en/nvidia-drives-ada-and-spark-...