- Usaa (San Antonio, TX)
- …SAS, BI tools or other analysis software, and relevant industry data & methods and ability to connect external insights to business problems. Researches and pursues ... space, whether informal (Eg, Coursera, Udemy, Kaggle, Code Up, etc.) or formal (Eg Certifications or advanced coursework). Works with IT/CTO partners to advance… 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 ... candidate will work with other researchers and engineers in research projects focused on developing high-assurance software and systems....of developing test cases that entail the application of formal methods analysis techniques and tools. -… more
- Microsoft Corporation (Redmond, WA)
- **Overview** Research Intern - RiSE group ( Formal Methods , High-Performance Computing, ML Systems, Programming Languages, Software Engineering) Research ... state-of-the-art of research in the broad fields of formal methods , high-performance computing, Macine Learning (ML) systems, programming languages, and… more
- Microsoft Corporation (Redmond, WA)
- …the Windows Networking Stack, and many more. NRG members collaborate with adjacent research groups in systems, formal methods , optimization and security. ... **Overview** Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by… more
- Microsoft Corporation (Redmond, WA)
- …- Microsoft Research ** areas such as distributed systems and reliability, formal methods and verification, machine learning for system reliability, and ... following core areas of research : datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems,… more
- System One (Helena, MT)
- …are renowned for their scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, ... and sustainability. Projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally. They invest in the unknown, applying our curiosity and desire for… more
- Loyola University Chicago (Chicago, IL)
- …software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any phase of ... including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors research , and mixed methods… more
- Bosch (Pittsburgh, PA)
- …team in developing solutions that apply machine learning/deep learning algorithms and formal methods to security and privacy problems. Example applications ... **Company Description** The Bosch Research and Technology Center North America with offices...include, but are not limited to, utilizing AI and formal methods to analyze software vulnerabilities, modeling… more
- NVIDIA (Santa Clara, CA)
- …This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware-firmware ... Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and...tools to identify root causes of design/firmware flaws. + Research , evaluate, and integrate new formal verification… more
- University of Maryland, Baltimore (Baltimore, MD)
- …interdisciplinary research teams by integrating qualitative insights into mixed- methods research designs. * Participate in advanced qualitative analysis ... techniques such as content analysis, discourse analysis, and other research methods . * Contribute to publications and presentations using real-world qualitative… more
- Stanford University (Stanford, CA)
- …specific research activities associated with strategic priorities * Regularly attend research meetings to develop both formal and informal pathways for ... Sr. Research Analytics Scientist **Graduate School of Business, Stanford,... support, including training sessions, testing new data collection methods , and staying abreast of relevant literature. * Contribute… more
- Emory Healthcare/Emory University (Oxford, GA)
- …at a teaching-intensive institution, receive training in inclusive pedagogy, support for research and grant writing, and have opportunities to engage in the ... data analysis in R that does not require any formal computer science background to teach). The latter course...latter course is housed in the Quantitative Theory and Methods (QTM) department. The teaching load for this position… more
- Houston Methodist (Houston, TX)
- … research projects with minimal supervision. This position provides advanced technical research skills and establishing test methods and procedures under the ... all research and data collection. + Completes/performs research and incorporates novel procedures and methods ...via a third-party quick apply process are not considered formal applicants until a complete application has been submitted… more
- Vanderbilt University Medical Center (Nashville, TN)
- …manner. * Study Design & Conduct (Novice): Applies qualitative and quantitative research methods to perform preparatory, regulatory, and analytic tasking within ... and wellness through preeminent programs in patient care, education, and research . **Organization:** VICTR **Job Summary:** Research Projects Coordinator (Health… more
- Vanderbilt University Medical Center (Nashville, TN)
- …health and wellness through preeminent programs in patient care, education, and research . **Organization:** VICTR **Job Summary:** SCIENTIFIC RESEARCH IT PROJECT ... one year. In your pivotal role as a Scientific Research IT Project Manager, you will identify appropriate resources...team, on project related templates and toolsets. + Develops methods to measure customer satisfaction and obtains feedback at… more
- University of Colorado (Aurora, CO)
- … group, which is led by Dr. Emmy Betz, MD, MPH and includes a large research portfolio of mixed- methods research related to firearm injury prevention in ... as needed for in-person meetings. Dr. Betz oversees a multi-million dollar research portfolio of complex, community-engaged, mixed- methods studies funded by the… more
- Houston Methodist (Houston, TX)
- …This position is considered a subject matter expert utilizing advanced technical research skills and establishing test methods and procedures under the ... all research and data collection + Completes/performs research and incorporates novel procedures and methods ...via a third-party quick apply process are not considered formal applicants until a complete application has been submitted… more
- State of Colorado (Denver, CO)
- …+ Formal experience leading projects related to higher education research , data, and policy. + Experience working with large, student-level datasets and ... especially in state government. + Giving presentations on authored research and reports to large formal audiences,...to reduce manual errors. + Modern quantitative and qualitative methods of research in a policy or… more
- University of Utah (Salt Lake City, UT)
- …. Preferred candidates will bring experience in either qualitative or quantitative research methods . On the qualitative side, they should be comfortable ... tools (eg, Excel, Power BI, R, SPSS , or Stata)._ _Mixed- methods research experience (qualitative and quantitative)._ **Preferences** _Familiarity with… more
- Children's Mercy Kansas City (Kansas City, MO)
- …with Human Resources. Responsibilities + Advising health professionals in community engaged research methods + Coordinating meetings with members of the CMRI ... with d ocumented prior advanced education or training in laboratory techniques and methods requisite to conducting independent research or + HS diploma, or… more
