• Formal Methods Research

    RTX Corporation (Cambridge, MA)
    …Do** **Responsibilities include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
    RTX Corporation (04/16/25)
    - Save Job - Related Jobs - Block Source
  • Network and Formal Methods

    RTX Corporation (Cambridge, MA)
    …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... them more secure and resilient. + Advance network security research at BBN. + Own projects or large components...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… more
    RTX Corporation (04/03/25)
    - Save Job - Related Jobs - Block Source
  • Principal AI/ML Research Engineer

    RTX Corporation (Cambridge, MA)
    …systems, we apply neuro-symbolic techniques (ie semantic technologies, deep neural networks, formal methods , etc) to understand the characteristics of autonomous ... knowledge gained from that experience into new and advanced research threads. In this age of automation and intelligence...Javascript as either a data scientist, software or systems engineer + Ability to lead and work with scientists… more
    RTX Corporation (04/08/25)
    - Save Job - Related Jobs - Block Source
  • Guidance Navigation & Controls Engineer

    Aurora Flight Sciences Corporation (Cambridge, MA)
    …a program.** -Aurora Flight Sciences is seeking a Guidance, Navigation, and Control (GNC) Engineer to lead development, research , and analysis in all areas of ... Guidance Navigation & Controls Engineer Job Code 3955 Assigned Aurora Location Cambridge,...autonomous aircraft. Specific areas of interest include advanced control methods , simulation, and state estimation for fixed-wing, tiltrotor, rotorcraft,… more
    Aurora Flight Sciences Corporation (04/18/25)
    - Save Job - Related Jobs - Block Source
  • Engineer I, Medical Device Design Control…

    Amgen (Cambridge, MA)
    …you'll help make a lasting impact on the lives of patients as we research , manufacture, and deliver innovative medicines to help people live longer, fuller happier ... Join us and transform the lives of patients while transforming your career. Engineer I - Medical Device Design Control Documentation Specialist **What you will do**… more
    Amgen (03/27/25)
    - Save Job - Related Jobs - Block Source
  • 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. (03/28/25)
    - Save Job - Related Jobs - Block Source
  • Manufacturing Engineer III

    Textron (Wilmington, MA)
    **Manufacturing Engineer III** **Description** **Who We Are** Textron Systems is part of Textron, a $14 billion, multi\-industry company employing 35,000 talented ... **About This Role** Textron Systems is seeking an experienced Senior Manufacturing Engineer , focused on Design for Manufacturing and Assembly and product transition… more
    Textron (04/17/25)
    - Save Job - Related Jobs - Block Source