- 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
- 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