- RTX Corporation (Cambridge, MA)
- …BBN Technologies team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong ... dynamic systems. In this position, you will contribute strong software development skills and apply reasoning and formal...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… more
- RTX Corporation (Cambridge, MA)
- …team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join exciting ... such systems. **What You Will Do** + Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture. + Articulate… more
- MIT Lincoln Laboratory (Lexington, MA)
- …our impact. Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. ... computing, storage, and communication technologies. + Engage in a range of research and engineering activities, from software design and system integration… more
- L3Harris (Wilmington, MA)
- …Description: L3Harris is seeking a highly skilled and dynamic senior Mechanical Engineer to support customer-funded programs and internal research efforts within ... cyber domains in the interest of national security. Job Title: Lead, Mechanical Engineer - Mechanisms Job Code: 29834 Job Location: Wilmington, MA Job Schedule: 9/80… more
- Danaher Corporation (Westborough, MA)
- …Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and ... Business System (https://www.danaher.com/how-we-work/danaher-business-system) which makes everything possible. The Product Engineer II for Cytiva is responsible for supporting the… more