- 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 (Arlington, VA)
- **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
- 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
- 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
-
Special Education ABA Instructor
- Achieve Beyond (Bronx, NY)
-
Telecommunications Network Engineer 0
- Synergy ECP (Annapolis Junction, MD)
Related Job Searches:
Engineer,
Formal,
Research,
Research Software Engineer,
Software,
Software Engineer