- 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
- Huntington Ingalls Industries (Newport News, VA)
- IT SOFTWARE ENGINEER 4 SAP Location: Newport News, Virginia, United States Date: Nov 5, 2025 Req ID: 43172 Team: T55 SOLUTIONS DEV Entity: Newport News ... analyze software requirements. May design embedded systems software . The Software Engineer is... will review and troubleshoot problems with existing solutions, research issues, document systems and solutions. The ideal candidate… more
- Chenega Corporation (Arlington, VA)
- **Req ID:** 38250 **Summary** **Senior Software Engineer ** **Arlington, VA** Are you ready to enhance your skills and build your career in a rapidly evolving ... to the next level! We are seeking a highly skilled and experienced **Senior Software Engineer ** to contribute to the design and development of scalable… more
- JPMorgan Chase (Mclean, VA)
- As a Lead Software /ML Engineer , you have an opportunity to be part of team to build, launch and scale an AI/ML platform for the firm As a Lead Software /ML ... Chase's research teams, ensuring alignment with business goals. As a Lead Software - Machine Learning Engineer at JPMorgan Chase within the Corporate Sector-… more
- Huntington Ingalls Industries (Roanoke, VA)
- …Physical Requirements Adequate visual acuity and manual dexterity for meeting the requirements Software Engineer family. The listed salary range for this role is ... technologies involving hardware description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and… 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
- 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
- General Atomics (Charlottesville, VA)
- …lifecycle and use of associated tools. + An understanding of formal software engineering principles including design, documentation, ticketing systems, ... picture for air, maritime, and ground domains. **DUTIES AND RESPONSIBILITIES:** + Research , design, implement, document, test, and deploy software applications… more
- Nightwing (Sterling, VA)
- …such as Test Analyst, Technical Test Analyst, or Test Manager. + Certified Software Test Engineer (CSTE): A professional credential validating expertise in ... software testing principles and practices. + Certified Software Quality Engineer (CSQE): Focuses on software quality development and implementation. +… more
- JHNA (Alexandria, VA)
- …is currently seeking a talented Model-Based Systems Engineer (MBSE) / Digital Engineer with Cameo and/or MBSE software modeling experience to join our team ... Mission Architecture Engineer JHNA...of the Office of the Undersecretary for Defense for Research and Engineering (OUSD(R&E)) Mission Integration. In this role,… more