[dependenttypes]

> for work

Please no. It is already difficult to find unis whose undergraduate degrees are not filled with things like java and enterprise-grade programming.

Regardless, universities are not for teaching you to use specific products. This is what manuals are for.