- 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)
- …**Job Description** **Under the direction of the immediate manager, the Senior Staff Software Engineer , Research Systems will:** + Develop new applications ... optimize the scientific workflow to be used with the software developed. + Will work with research ...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… 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
- Northrop Grumman (Melbourne, FL)
- …they're making history. Northrop Grumman Aeronautics Systems has an opening for a **DevOps Software Engineer ** / **Principal DevOps Software Engineer ** ... or Hybrid work available . The Aeronautics Systems sector Research & Advanced Design (R&AD) is looking to grow...clusters. **_**This position may be filled by either_** **DevOps Software Engineer or a Principal DevOps … more
- Leonardo DRS, Inc. (Burnsville, MN)
- …as world-class manufacturing and support capabilities. **Job Summary** As the senior principal software engineer focused on software architecture for DRS ... issues during design, test, transition to production, and formal deliveries. Job focus areas include leading software...proposal language that satisfy requirements + Serve as lead software engineer on development projects + Design,… more
- Northrop Grumman (Aurora, CO)
- …they're making history. Northrop Grumman Space Systems (NGSP) seeks to fill a **Principal** ** Software Engineer (Level 3) or a Sr. Principal** ** Software ... Aurora Software and Digital Engineering department which has 200+ Software Engineer , DevOps Engineer , Systems Administrator, Database Administrator,… more
- Walmart (Bentonville, AR)
- **Position Summary ** **What you'll do ** **Senior Software Engineer ** Walmart is looking for a strong Senior Software Engineer who will work on ... teams (Product Management, Market Operations) to gather requirements, create software design specifications and high level estimates. + Design, develop,… more
- Battelle Memorial Institute (Columbus, OH)
- …experiences and welcome all qualified individuals to apply. **Job Summary** As a **Mid-level Software Engineer /DevOps Engineer ** , you will spend your day ... codebases. + Experience developing and debugging embedded applications. + Experience with formal software development processes. + Laboratory automation. + Data… 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
- JPMorgan Chase (Plano, TX)
- …an adventure where you can push the limits of what's possible. As a Lead Software Engineer at JPMorgan Chase within US Wealth Management, you are an integral ... requirements into technical solutions. **Required Qualifications, Capabilities, and Skills:** + Formal training or certification on Software Engineering concepts… more
- KBR (Reston, VA)
- Title: Senior Software Engineer /AFSIM Modeler Belong. Connect. Grow. with KBR! KBR's National Security Solutions team provides high-end engineering and advanced ... the future of space defense. Key Responsibilities: KBR is seeking a Senior Software Engineer /AFSIM Modeler to join a multi-disciplinary team consisting of… more
- LinkedIn (Mountain View, CA)
- …helping with network packet forwarding and translation, monitoring, and operations. As a Staff Software Engineer , you will be a key technical leader and role ... and makes smart trade-offs. On top of the leadership skills, a successful Staff Software Engineer must exhibit strong technical skills both in software … more