- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... Electrical Engineering, or related areas with strong mathematical background * Conducted research primarily in neuro\-symbolic AI, combining methods such as… more
- Lockheed Martin (Arlington, VA)
- …areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- 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
- Dominion Energy (Richmond, VA)
- …concepts regarding tax laws and tax accounting practices and procedures, Knowledge of tax research methods with ability to interpret tax laws, to prepare general ... regarding tax laws and tax accounting practices and procedures, + Knowledge of tax research methods with ability to interpret tax laws, to prepare general tax… more
- CBRE (Richmond, VA)
- …efforts, overseeing the entire process from the identification of opportunities through to formal submission. This job is part of the Sales function and will also ... company differentiators are incorporated into proposals. + Conduct thorough market research and analysis to understand the competitive landscape and pricing… more
- University of Virginia (Charlottesville, VA)
- …at the Primary Care Center - UVA Diabetes and Endocrinology Clinic at Fontaine Research Park - UVA Infectious Disease Clinic at the West Complex - UVA Nephrology ... the West Complex - UVA Rheumatology Clinic at Fontaine Research Park and Pantops - UVA Pulmonary Clinic at...healthcare technology and practice advancements, exposing you to cutting-edge methods and tools. To embark on this transformative journey… 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
- Arena Technical Resources, LLC (Springfield, VA)
- …- Develop advanced non-literal hyperspectral processing techniques and repeatable analytical methods to enhance formal intelligence reporting. - Design and ... a Remote Sensing background who can support the development of new repeatable methods for spectral processing and analytics. You will apply cutting-edge literal and… more
- Office of the Secretary of Defense (VA)
- …The incumbent must possess thorough knowledge of the principles, theories, and methods of operations research , economic analysis, and resource management, broad ... to the organization by providing opportunities to learn through formal and informal methods . Cultivates a dynamic environment in which employees are not… more
- Old Dominion University (Norfolk, VA)
- …+ Project management, communication, stakeholder engagement, and team collaboration. + Research and problem-solving skills. + Attention to detail, time management, ... required. + Some experience in instructional design theories and methods . + Some experience in instructional design theories and...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more