• Research Software Engineer, Formal

    RTX Corporation (Cambridge, MA)
    …team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development ... strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic… more
    RTX Corporation (07/09/25)
    - Related Jobs
  • Sr Principal Research Software Engineer,…

    RTX Corporation (Cambridge, MA)
    …Technologies** team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/ Software Engineers experience to join ... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
    RTX Corporation (08/01/25)
    - Related Jobs
  • Sr User Experience Researcher (Quantitative…

    UKG (Ultimate Kronos Group) (Lowell, MA)
    …With 80,000 customers across 150 countries, UKG is the largest US-based private software company in the world. And we're only getting started. Ready to bring ... for a talented and passionate Sr. User Experience Researcher to lead mixed methods research that informs investments across UKG's AI portfolio. You will work with… more
    UKG (Ultimate Kronos Group) (08/25/25)
    - Related Jobs
  • Engineer - ATP Ship Methods

    Target (Brooklyn Park, MN)
    …into the technical architecture and design to deliver robust and scalable software components. You constantly demonstrate the depth of your expertise by solving ... engineering problems. You are passionate about the quality of software and balance between speed of delivering new features...that can influence both. **About this Team:** ATP Ship Methods is one of the most complex systems in… more
    Target (08/21/25)
    - Related Jobs
  • Software Engineer - Functional Programming

    Leidos (Arlington, VA)
    …the development of high-assurance, resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… more
    Leidos (07/29/25)
    - Related Jobs
  • Principal Applied Scientist, Prime Air , Prime Air…

    Amazon (Seattle, WA)
    …the value proposition for formal verification, runtime assurance, and other methods for software under development and drive building these approaches into ... runtime assurance, new testing approaches, metric collection, and other methods to software systems. You will be...every area of our software development processes. Write, validate, and maintain … more
    Amazon (06/06/25)
    - Related Jobs
  • Senior Principal Software Engineer

    Leonardo DRS, Inc. (Burnsville, MN)
    …systems, hardware integration, combat systems, human interfaces, test harnesses, formal methods ) + Ability to develop software APIs using technologies such ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software... formal deliveries. Job focus areas include leading software engineering activities in software architecture applied… more
    Leonardo DRS, Inc. (08/28/25)
    - Related Jobs
  • Sentinel Principal Software Engineer

    Northrop Grumman (Colorado Springs, CO)
    software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software more
    Northrop Grumman (08/27/25)
    - Related Jobs
  • Sentinel Software Engineer 15743

    Northrop Grumman (Manhattan Beach, CA)
    software deficiencies * Perform integration testing, regression testing, and formal qualification testing in an agile software development environment * ... with the lead test engineer and a team of software developers to establish and develop test methods...data analysis, and develop test documentation * Participate in formal testing events, customer meetings, and software more
    Northrop Grumman (08/14/25)
    - Related Jobs
  • Principal Engineer Software /Sr Principal…

    Northrop Grumman (Melbourne, FL)
    formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex integrations problems. ... **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software /Senior Principal Engineer Software ** to join our **Global Surveillance… more
    Northrop Grumman (06/11/25)
    - Related Jobs