- RTX Corporation (Cambridge, MA)
- …Formal Method researchers with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. ... such systems. This position is an opportunity to exciting new technologies to support Formal Methods for verification of...and execution. + Help hire top-notch personnel. + Lead small projects, mentor and lead team collaborators and implementers.… more