- 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
- 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
- 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
- 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)
- …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
- 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
Recent Jobs
-
Waveguide Design Engineer
- Applied Materials (Santa Clara, CA)
-
Buyer- Aerospace/Defense Industry
- vaco (Rancho Palos Verdes, CA)
-
Licensed Mental Health Professional Therapist / Waipahu / FT
- Kaiser (Waipahu, HI)
-
Veterinarian
- NVA (Collinsville, VA)
Related Job Searches:
Engineer,
Formal,
Research,
Research Software Engineer,
Software,
Software Engineer