- 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
- UKG (Lowell, MA)
- …impactful projects that are used by enterprises and users worldwide. As a Lead Software Engineer , you will be involved in the design, development, testing, ... deployment, and maintenance of software solutions. You will work in a collaborative environment,...observability and SRE practices. + A self-starter who devours research papers and turns them into production-ready prototypes. +… 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