- 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 (eg, 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 technologies… 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
- Home Depot (Atlanta, GA)
- **Position Purpose:** The Principal Software Engineer -AI Warehouse Systems will spearhead the design and development of advanced artificial intelligence ... that connect physical devices-such as sensors, actuators, and industrial robots-with enterprise-grade software . The Principal Software Engineer will navigate… more
- SMBC (New York, NY)
- …trade analysis, and research IT systems. **Position Responsibilities/Duties** Senior Software Engineer is responsible for assisting in the technical vision ... **Role Description** External Job Description SMBC Capital Markets Inc. is hiring a senior software engineer in the Software Development department, New York… more
- Battelle Memorial Institute (Columbus, OH)
- …engineers have everything they need to invent new Cyber solutions. As a mid-level ** Software Engineer ** , you will spend your day designing, coding, and testing ... codebases. + Experience developing and debugging embedded applications. + Experience with formal software development processes. + Laboratory automation. + Data… more
- Home Depot (Atlanta, GA)
- …technologies where appropriate **Direct Manager/Direct Reports:** + Typically reports to the Software Engineer Manager or Sr. Manager, Technology Director or Sr. ... and optimal user experience. **Cutting-edge Technology Adoption:** + Continuously research and implement new e-commerce, cloud computing, ML/AI, and chatbot… more
- Xcel Energy (Denver, CO)
- …EMS, ASPEN, CAPE, PROMOD, PLEXOS, PowerWorld, PSCAD or other similar analysis software . + EIT/FE ( Engineer in Training/Fundamentals of Engineering and/or PE ... EMS, ASPEN, CAPE, PROMOD, PLEXOS, PowerWorld, PSCAD or other similar analysis software . + EIT/FE ( Engineer in Training/Fundamentals of Engineering and/or PE… more
- Applied Research Associates, Inc. (Littleton, CO)
- …through iterative prototyping to reliable field deployment + Preparing research reports, technical proposals, formal presentations, and reading/interpreting ... and rapidly deploying solutions to problems of national importance? Applied Research Associates (ARA) is seeking excellent scientists and engineers and has… more
- Curia (Albuquerque, NM)
- Senior Network Engineer , Albuquerque, NM Build your future at Curia, where our work has the power to save lives Curia is a global contract development and ... contributions + Learning platform + And more! Summary: The Senior Network Engineer is responsible for the design, implementation, and daily management of the… more
- Terumo Medical Corporation (Elkton, MD)
- Principal Engineer , Automation & Controls Date: Oct 10, 2025 Req ID: 4974 Location: Elkton, MD, US Company: Terumo Medical Corporation Department: PM&PD Management ... we go next!** **_Advancing healthcare with heart_** **Job Summary** The Principal Engineer - Automation and Controls is a highly experienced expert role responsible… more
- Battelle Memorial Institute (Columbus, OH)
- Battelle delivers when others can't. We conduct research and development, manage national laboratories, design and manufacture products and deliver critical services ... to apply. **Job Summary** We are seeking a highly skilled **RF Systems Engineer ** with 8-12 years of experience in designing and developing commercial communications… more
- 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
- Gilead Sciences, Inc. (Foster City, CA)
- …Assists with definition of overall system architecture. + Assists with software configuration management, introduction and training. + Organizes, prioritizes, and ... to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing,… 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
- 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
- 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
Related Job Searches:
Engineer,
Formal,
Research,
Research Software Engineer,
Software,
Software Engineer