- RTX Corporation (Cambridge, MA)
- …in Arlington, VA. RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer , Formal Methods with strong software ... 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)
- …Arlington, VA. The RTX BBN Networking and Cyber Technologies group seeks a Formal Method 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
- NVIDIA (Santa Clara, CA)
- We are now seeking a Formal Verification Engineer , focusing on the firmware verification! In this role, you will be instrumental in ensuring the correctness, ... firmware verification and hardware-firmware co-verification challenges at scale. As a Formal Verification Engineer , your primary responsibility will be 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
- 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
- Wayne State University (Detroit, MI)
- Systems Software Engineer - Lead Wayne State University is searching for an experiencedSystems Software Engineer - Leadat its Detroit campus location. ... Wayne State is a premier, public, urban research university located in the heart of Detroit, Michigan...functions (job duties): Basic Purpose: Positions in the Systems Software Engineer job family are responsible for… 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
- 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
- Hensel Phelps (Greeley, CO)
- **Description** **Position Description:** The Software Engineer 's role is to design, execute, assess, and troubleshoot software programs and applications. ... 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
- 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