I am learning VHDL at a university in Vivado and heard that in America there are using Verilog. So I wonder, which Hardware description language is using Tesla for programming it's chips?
You can try to find what kind of workers they are looking for in Tesla. Five minute search in google tells that they hire both VHDL and Verilog engineers.