- Leidos (Arlington, VA)
- …Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating and delivering of ... systems. This role will contribute to R&D projects in formal methods , proof engineering, theorem proving, formalized mathematics, gaining hands-on experience… more
- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research. The position will be based out of our Arlington, VA office, ... developing test cases that entail the application of formal methods analysis techniques and tools. - Integrate and adapt...analysis techniques and tools. - Integrate and adapt formal methods tools such as theorem provers, solvers, model checkers,… more
- Grant Thornton (Arlington, VA)
- As the Tax Manager in our Methods , Credits & Incentives (MCI), Research & Development Tax Credit practice you'll navigate R&D tax credit complexity and provide ... insightful, practical tax advice for your clients- all with the resources, environment and support to help you excel. You'll collaborate with MCI leadership and supervise R&D projects, research tax issues, conduct fieldwork, and participate in sales and… more
- Capital One (Mclean, VA)
- …into Capital One's risk and capital needs. We blend cutting-edge quantitative methods with deep understanding of our business, data, and regulatory environment to ... the challenging business problems + Identify opportunities to apply quantitative methods and automation solutions to improve business performance and process… more
- Amazon (Arlington, VA)
- …to ask better questions. You are adept at leveraging a range of research methods and deploying a variety of analytical approaches to understand the current state as ... If you are passionate about developing and applying research methods to answer challenging questions, enjoy collaborating closely with...teams and stakeholders on best practices in user research methods and techniques, as we continue to grow the… more
- Defense Logistics Agency (Fort Belvoir, VA)
- …and mitigations. Uses approved Artificial Intelligence/Machine Learning (AI/ML) and scientific methods to identify, predict, and assess supply chains and associated ... controls, including developing internal/external dashboards utilizing data visualization and methods to DLA, the DoD, and other governmental agencies/programs.… more
- Defense Security Service (Quantico, VA)
- …to analysts, and demonstrate sound quantitative and qualitative research methods , analytic tradecraft and standards, use of structured analytic techniques, ... and mentorship to analysts, and demonstrate sound quantitative/qualitative research methods . As an INTELLIGENCE OPERATIONS SPECIALIST (SENIOR INTELLIGENCE ANALYST)… more
- Perdue Farms, Inc. (Prince George, VA)
- …Review process. + Identifies, designs, trains, implements, and audits new methods to reduce turnover. + Ensures all required paperwork (application, reference ... improvement in hiring ratio (applicants vs. hires). + Create new, innovative methods to improve the recruitment process to continually improve the experience and… more
- Fannie Mae (Reston, VA)
- …team members are knowledgeable in data mining and data analysis methods , adept with large data processing techniques and computational programing capabilities, ... from disciplines, such as computer science, computational science and methods , statistics, econometrics, data optimization, and data visualization. Ensure… more
- Air Combat Command (Langley AFB, VA)
- …of specialized experience includes detailed, intensive knowledge of budgetary methods , practices, procedures, regulations, precedents, policies, and other AF and ... guides which apply to assigned organizations and programs; sources, type and methods of funding for assigned organizations and programs (eg, direct annual,… more