- RTX Corporation (Cambridge, MA)
- …This position is an opportunity to work with innovative technologies to support Formal Methods for verification of processes, networks, etc. You will work ... limited to: + Join a team that is building and advancing a Formal Methods -related research area for BBN. + Contribute to creating new algorithms and paradigms… more
- MIT Lincoln Laboratory (Lexington, MA)
- …intelligence, machine learning, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Selected ... performance by means of testing and analysis. Job Description The group seeks graduate level summer interns to contribute to a number of challenging projects related… more
- MIT Lincoln Laboratory (Lexington, MA)
- …systems, real-time software, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Selected candidate ... positive impact in our nation. Job Description The group seeks undergraduate or graduate level summer interns to contribute to a number of challenging projects… more