- Leidos (Arlington, VA)
- **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing ... related to low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in… more
- 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
- 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