• Research Software Engineer…

    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 (07/09/25)
    - Related Jobs

  • Sr Principal Research Software…

    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
    RTX Corporation (08/01/25)
    - Related Jobs

  • RF Engineer II

    Advanced Energy (Wilmington, MA)
    …RF Engineer II performs sustaining engineering work in applied research , design, development, testing, manufacturing, and documentation of existing products or ... RF Engineer II **About Advanced Energy** Advanced Energy Industries,...and manufacturing test yields of existing RF products using formal investigation methods and to recommend/implement corrective… more
    Advanced Energy (09/17/25)
    - Related Jobs

  • Secure Software, Embedded Systems Engineer…

    MIT Lincoln Laboratory (Lexington, MA)
    …Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. We bring ... Group 53 applies foundational and applied cybersecurity research to the most critical challenges in national...dynamic analyses tools and techniques, as well as applied formal methods tools. + Technical communication: Documenting… more
    MIT Lincoln Laboratory (09/22/25)
    - Related Jobs

  • Manufacturing Engineer III

    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
    Textron (08/07/25)
    - Related Jobs

  • Senior Systems Engineer

    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
    Sumaria Systems, Inc. (09/25/25)
    - Related Jobs