How to become a Formal Methods Engineer: skills, route & pay — BranchFactor