These aren’t courses, but I recommend looking at TLA+ and Alloy. Some of my colleagues use Isabelle, Coq, and Agda too, but the first two seem most relevant to learn.
I've also heard good things about lean.
I forgot about Lean, but yeah I’ve heard good things too! Hillel Wayne has a good email list I recommend where he sends weekly posts on different tools :)