- RTX Corporation (Cambridge, MA)
- …shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and ... are not limited to:** + Build and advance a Formal Methods -related research area for BBN having...healthcare, wellness, retirement, and work/life benefits; career development and recognition programs. Some of the benefits we offer include… more