One can learn to apply Formal Methods at many levels in any language using available tools at hand. For some ideas see;

1) On Formal Methods Thinking in Computer Science Education - https://dl.acm.org/doi/10.1145/3670419

2) (In-)Formal Methods: The Lost Art --- A Users’ Manual by Carroll Morgan - https://fme-teaching.github.io/2019/10/03/in-formal-methods-...

3) Forthcoming book by Carroll Morgan Formal Methods, Informally How to Write Programs That Work - https://www.cambridge.org/highereducation/books/formal-metho...

4) Understanding Formal Methods by Jean-Francois Monin - A firehose of information.