Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting new projects... is an opportunity to shine as a leader of an exceptional team while building technologies to support Formal Methods for verification...