- Lockheed Martin (Arlington, VA)
- …formal specification, model\-checking, theorem proving, reactive synthesis, cyber\-physical systems \.\.\.\) \- Safety\-critical Systems Engineering : ... competencies for Lockheed Martin for development of Trusted\-by\-Design Intelligent Systems \. TIL technology focus areas include Neuro\-Symbolic and Generative AI,… more
- Metis Technology Solutions, Inc (Alexandria, VA)
- …development and operations, including spaceflight systems , ground systems , modeling and simulation systems , research facility development and ... performed in Washington, DC POSITION SUMMARY: Metis Technology Solutions, Inc. is an advanced engineering services company supporting aviation and space systems … more
- SAIC (Chantilly, VA)
- …a premier technology integrator, solving our nation's most complex modernization and systems engineering challenges across the defense, space, federal civilian, ... markets. Our robust portfolio of offerings includes high-end solutions in systems engineering and integration; enterprise IT, including cloud services;… more
- SAIC (Mclean, VA)
- …of systems development & deployment, targeting & intelligence analysis, systems engineering & integration, and training capabilities and solutions for ... a premier technology integrator, solving our nation's most complex modernization and systems engineering challenges across the defense, space, federal civilian,… more
- KBR (Norfolk, VA)
- …global scale. With capabilities in digital engineering , RDT&E, cyber, AI, modeling and simulation , and rapid prototyping, KBR provides innovative solutions ... Defense and Technology Solutions (DTS) business unit delivers comprehensive engineering and technical solutions across the lifecycle of military... and technical solutions across the lifecycle of military systems on land, at sea, in the air, and… more
- Lockheed Martin (Springfield, VA)
- …with solid mathematics and/or physics background and experience in some combination of modeling and simulation , Fortran and/or C languages, Python, Korn, BASH, ... to ensure that scientists and engineers will be able to fully utilize modern HPC systems \. We are seeking a mid\-career level HPC Software Engineer that will work in… more
- QinetiQ (Reston, VA)
- …and products in robotic and autonomous platforms, ground, soldier, and maritime systems in 50+ locations world-wide. Much of our work contributes to innovative ... customers, and suppliers Required Qualifications * Bachelor's degree in electro-mechanical engineering , electrical engineering , or mechanical engineering *… more
- KBR (Norfolk, VA)
- … engineering ; research, development, test and evaluation (RDT&E); cyber; AI; modeling and simulation ; and rapid prototyping, KBR delivers innovative solutions ... Summary: KBR's Defense and Technology Solutions (DTS) business unit delivers comprehensive engineering and technical solutions across the full lifecycle of military … more
- CACI International (VA)
- …to its conclusion for a particular IT subject matter Wireless and Network Engineering (ie, simple to complex systems ). Assists other project members with ... risk management/electronic analysis; software; life-cycle management; software development methodologies; modeling and simulation ; disaster recovery; and requirements… more
- KBR (Norfolk, VA)
- …global scale. With capabilities in digital engineering , RDT&E, cyber, AI, modeling and simulation , and rapid prototyping, KBR provides innovative solutions ... Defense and Technology Solutions (DTS) business unit delivers comprehensive engineering and technical solutions across the lifecycle of military... and technical solutions across the lifecycle of military systems on land, at sea, in the air, and… more