[tmtvl]

Oracle has Java certs. That's something MS could also do with CSharp, AdaCore with Ada,...

How useful that stuff is/would be in practise, I don't know.