- 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
- Leidos (San Diego, CA)
- **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating ... few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will...software correctness + Experience applying the application of formal methods in fundamental research contexts, to… more
- New York University (Brooklyn, NY)
- …at NYU Tandon School of Engineering is looking for a full time Research Engineer to work on open source software in the Secure Systems Laboratory under ... in-toto, gittuf, and Uptane. Expectations The Research Engineer will contribute to open source software ,...chain security, virtualization, software supply chain security software , networking code, and/or formal verification tools;… more
- Carnegie Mellon University (Pittsburgh, PA)
- Carnegie Mellon University is a private, global research university that stands among the world's most renowned education institutions. With ground-breaking brain ... your journey starts here! The Office of the Vice President for Research (OVPR) has responsibility for nurturing interdisciplinary research initiatives at… more
- Northrop Grumman (Melbourne, FL)
- …history. **Northrop Grumman Aerospace Systems** has an opening for a **Staff Software Engineer ** join our **Global Surveillance Division** team of qualified, ... will be located in Melbourne, Florida** . The Staff Engineer Software (DevOps Lead) position will be...DOD 8570 IAT Level II (Security+) + Experience with formal software test and Weapon System evaluations… more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... history. **Northrop Grumman Aeronautics Systems Sector** has an opening for an ** Engineer Software ** to join **Global Surveillance Division** supporting the team… more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... Grumman Aeronautics Systems Sector has an opening for a ** Software Engineer ** to join our **Global Surveillance...scripting languages in a development environment. + Experience with formal software test and Weapon System evaluations.… more
- Northrop Grumman (Melbourne, FL)
- …history. **Northrop Grumman Systems Corporation** is seeking a **Principal** or **Senior Principal Software Engineer ** to support a research area associated ... and identify solutions to complex problems. **Basic Qualifications:** + **Principal Software Engineer ** : Bachelor's degree in a Science, Technology,… more
- Google (Mountain View, CA)
- …inspire each other to push boundaries and achieve ambitious goals The Role As a Research Engineer in Strategic Initiatives, you will use your AI and software ... order to set you up for success as a Research Engineer at Google DeepMind, we look...+ Experience with GenAI language models, programming languages, compilers, formal methods, and/or private storage solutions. + Demonstrated success… more
- Lockheed Martin (Arlington, VA)
- …of research to lead future technology advances in applied formal methods, simulation, test, verification, validation, and certification of autonomous and ... help Lockheed Martin maintain technology dominance\. As a group of applied research laboratories, we are professionals who develop and apply leading edge… more
- Lockheed Martin (Arlington, VA)
- …of research to lead future technology advances in applied formal methods, simulation, test, verification, validation, and certification of autonomous and ... Martin maintain technology dominance\. As a group of applied research laboratories, we are professionals who develop and apply...one or more of the following: \- Algorithm and software development languages \(e\.g\., Python, Java, R, Rust, C,… more
- NextEra Energy (St. Paul, MN)
- **Principal Research Engineer ** **Date:** Oct 22, 2025 **Location(s):** St. Paul, MN, US, 55107Juno Beach, FL, US, 33408 **Company:** NextEra Energy NextEra ... the energy industry. **Position Specific Description** We are seeking a Principal Research Engineer to lead transformative R&D initiatives. This role combines… more
- Hensel Phelps (Greeley, CO)
- …planning and extends throughout the life of the property. **Position Description:** The Software Engineer 's role is to design, execute, assess, and troubleshoot ... software specifications throughout the project life cycle. The Software Engineer will also oversee system startups...skills. + Strong interpersonal skills. + Ability to conduct research into software -related issues and products. +… more
- Northrop Grumman (Aurora, CO)
- …they're making history. Northrop Grumman Space Systems (NGSP) seeks to fill a **Principal** ** Software Engineer (Level 3) or a Sr. Principal** ** Software ... Aurora Software and Digital Engineering department which has 200+ Software Engineer , DevOps Engineer , Systems Administrator, Database Administrator,… more
- Safran (Minneapolis, MN)
- Software Engineer 3 **Job details** **General information** **Entity** Safran is an international high-technology group, operating in the aviation (propulsion, ... / Job profile** Software - Embedded application software **Job title** Software Engineer ...research , design, development, review, and testing of complex software and tools, including the development of new products… more
- Leonardo DRS, Inc. (Burnsville, MN)
- …as world-class manufacturing and support capabilities. **Job Summary** As the senior principal software engineer focused on software architecture for DRS ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software...proposal language that satisfy requirements + Serve as lead software engineer on development projects + Design,… more
- Walmart (Bentonville, AR)
- **Position Summary ** **What you'll do ** **Senior Software Engineer ** Walmart is looking for a strong Senior Software Engineer who will work on ... teams (Product Management, Market Operations) to gather requirements, create software design specifications and high level estimates. + Design, develop,… more
- BAE Systems (Westminster, CO)
- …Mission Systems is looking to expand our team with a talented and energetic software engineer focused on delivering high-quality, embedded satellite software ... + Experience generating UML Class, Sequence, and Activity diagrams. + Experience with formal software development practices including the use of software … more
- Canvas Inc. (Huntsville, AL)
- Huntsville, AL, USA | Full Time Job Title: Software Test Engineer Location: Huntsville, AL (Hybrid) Canvas is seeking a Software Test Engineer ! This ... include, but are not limited to: + Evaluate Command and Control Application Software (C2AS) requirements for a USAF Major Acquisition program to ensure testability… more