Formal Verification Research Scientist in palo alto, ca | ApplyBoost