I never completed my degree, but even at a very math-centric CS program I don’t remember seeing a formal methods class.

OTOH my recall of a curriculum from 15-20 years ago should not be relied upon.