- 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
- 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
- Old Dominion University (Norfolk, VA)
- Posting Details Job Title Research Associate Department STATE OF THE COMMONWEALTH REPORT Position Number FP172A Location Norfolk, VA Job Summary As the Research ... support and enable the production of these reports, the Research Analyst/Senior Research Analyst will retrieve data...degree. + Practicable working knowledge of economic principles and methods including the collection of economic data and the… 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
- 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
- Old Dominion University (Norfolk, VA)
- …related to community colleges with interests in areas such as policy, evaluation, and research methods . Old Dominion University has the Research 1 ... research as PI or Co-PI. + Trained in research methods , including both quantitative and qualitative...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more
- Meta (Richmond, VA)
- …address both user behavior and attitudes related to technology and products. 2. Conduct research using a wide variety of quantitative methods and a subset of ... topics and generate insights that both fuel ideation and evaluate designs. 4. Conduct research using a wide variety of quantitative methods through the lens of… more
- US Air Force - Agency Wide (Quantico, VA)
- …Knowledge of a wide range of concepts, principles, and practices in intelligence research and collection methods , techniques, and practices in order to make ... of the spoken language Persian-Farsi. Knowledge of a wide range of intelligence research and collection methods , techniques, and practices in order to make… more
- Old Dominion University (Norfolk, VA)
- …Professor. We are particularly interested in candidates with expertise either in epidemiologic research methods or applied areas of epidemiologic research ... successful candidate is expected to maintain an active independent research program, pursue external research funding, teach...unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an… more
Recent Jobs
-
Interim Senior Financial Analyst
- vaco (Youngtown, AZ)
-
Managing Veterinarian
- NVA (Benton Harbor, MI)
-
SOC Analyst II
- Novo Nordisk Inc. (Plainsboro, NJ)
-
Hair Stylist/Barber - Instant clientele!
- The Career Sphere (Bragg City, MO)