- 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
- JPMorgan Chase (Jersey City, NJ)
- …to enhance, build, and deliver top-notch technology products. As a Senior Lead Software Engineer at JPMorgan Chase within the Cloud Foundational Services ... organization, you will play a critical role in hands-on research , prototyping, and engineering work that supports innovation initiatives. You will be instrumental in… more
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... Grumman Aerospace Systems** has an opening for a **Staff Software Engineer ** to join our **Global Surveillance...+ Experience with Windows and Linux. + Experience with formal software or systems test + Experience… 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 position will be focused on...+ Experience with Windows and Linux. + Experience with formal software or systems test + Experience… 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 ... making history. **Northrop Grumman Aeronautics Systems Sector** is seeking a **Principal Engineer Software ** / **Senior Principal Engineer Software… 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
- 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
- Northrop Grumman (Melbourne, FL)
- …integration, formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex ... **Northrop Grumman Aeronautics Systems Sector** is seeking a **Senior Principal Engineer Software ** **(Avionics)** to support the **Global Surveillance… more