Formal Methods Engineer salary, tenure & demand — BranchFactor