Theorem Proving Engineer salary, tenure & demand — BranchFactor