CR Oath Technologies - Formal Methods Research Engineer Convergent Research Berkeley, CA Sep 12, 2026