- RTX Corporation (Cambridge, MA)
- …BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong software development skills and an ... contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- RTX Corporation (Cambridge, MA)
- …and performance of such systems. **What You Will Do** + Build and advance a Formal Methods -related research area for BBN having measurable impact on business ... team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting… more
- Textron (Wilmington, MA)
- **Manufacturing Engineer III** **Description** **_About This Role_** Textron Systems is seeking an experienced Senior Manufacturing Engineer or ... between design and manufacturing\. * Participate in tabletop design reviews and formal CCB reviews\. * Perform make/buy analyses for new designs\. * Collaborate… more
- Sumaria Systems, Inc. (Bedford, MA)
- Senior Systems Engineer Department: SAS DAYTON, OH Office: Hanscom AFB - SAS Location: Bedford, MA START YOUR APPLICATION ... (https://apply.hrmdirect.com/resumedirect/ApplyOnline/Apply.aspx?req\_id=3279452&source=3279452-CJB-0) Job Title: Senior Systems Engineer Job Description: Sumaria prides itself on delivering efficient… more