- Leidos (Arlington, VA)
- …and shaping future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on knowledge...in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem… more
- Pipeline and Hazardous Materials Safety Administration (Washington, DC)
- …of nuclear reactors, radiation generating devices, and associated systems and equipment. Research - Knowledge of the scientific principles, methods , and ... by highway, air, rail, and water. Responsibilities As a Physical Scientist , you will: Provide technical expertise to develop regulatory standards, compliance… more
- Arena Technical Resources, LLC (Springfield, VA)
- …- Develop advanced non-literal hyperspectral processing techniques and repeatable analytical methods to enhance formal intelligence reporting. - Design and ... Remote Sensing Scientist Location: Springfield, VA, US Job ID: ATR...background who can support the development of new repeatable methods for spectral processing and analytics. You will apply… more
- RTX Corporation (Arlington, VA)
- …systems, we apply neuro-symbolic techniques (ie semantic technologies, deep neural networks, formal methods , etc) to understand the characteristics of autonomous ... knowledge gained from that experience into new and advanced research threads. In this age of automation and intelligence...Java, Python, C++, or Javascript as either a data scientist , software or systems engineer + Ability to lead… more