How to become a Theorem Proving Engineer: skills, route & pay — BranchFactor