- 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
- ThermoFisher Scientific (Richmond, VA)
- …and quality to deliver groundbreaking innovations. **Discover Impactful Work:** The Associate Research Scientist is responsible for the regulatory and scientific ... individual career goals while taking science a step beyond through research , development and delivery of life-changing therapies. With clinical trials conducted… 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
- ThermoFisher Scientific (Richmond, VA)
- …individual career goals while taking science a step beyond through research , development and delivery of life-changing therapies. With clinical trials conducted ... in 100+ countries and ongoing development of novel frameworks for clinical research through our PPD clinical research portfolio, our work spans laboratory,… more
- ThermoFisher Scientific (Richmond, VA)
- …individual career goals while taking science a step beyond through research , development and delivery of life-changing therapies. With clinical trials conducted ... in 100+ countries and ongoing development of novel frameworks for clinical research through our PPD clinical research portfolio, our work spans laboratory,… 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