- Leidos (Arlington, VA)
- …and shaping future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in ... + FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order… 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