- 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 (Hartford, CT)
- …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
- 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
- New York State Civil Service (Albany, NY)
- …following course work areas: computer science, economics, econometrics, mathematics, operations research , research methods , or statistics. Economist Trainee ... the following course work areas: computer science, economics, econometrics, mathematics, operations research , research methods , or statistics; and one year… 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
- 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
- University of Michigan (Ann Arbor, MI)
- …applying AI and emerging technologies to survey methodology and broader social science research methods . We expect that the successful candidate will: + Advise ... in emerging technologies and their integration into social science research methods + Experience in teaching, training,...methods + Experience in teaching, training, or mentoring ( formal or informal) + Strong written and oral communication… 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
- 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
- University at Albany (Albany, NY)
- …Professional Posted On: Fri Mar 14 2025 Job Description: To help support our research and evaluation efforts, the New York State Youth Justice Institute (YJI) is ... seeking to hire a Senior Research Associate. The incumbent will work on a myriad...boundaries: gains support and commitment from others even without formal authority; resolves differences by determining needs and forging… more
- University of Maryland, Baltimore (Baltimore, MD)
- …expertise and care of a Registered Nurse. * Manages the collection of complex research study or clinical trial data. Develops methods for collection, database ... compliance and protocol. Identifies protocol problems, informs investig * Manages complex research study or clinical trial data. Develops methods for collection,… more
- Vanderbilt University Medical Center (Nashville, TN)
- …and wellness through preeminent programs in patient care, education, and research . **Organization:** VMAC **Job Summary:** The Vanderbilt Memory and Alzheimer's ... Center seeks qualified applicants for a Research Nurse Specialist 2 (RNS 2) position. The RNS-II...Maintains regular contact with key colleagues and stakeholders using formal and informal opportunities to expand and strengthen relationships.-… more
- Air Mobility Command (Scott AFB, IL)
- … research and development (R&D) organizations, and participation in formal training programs. Requirements Conditions of Employment Qualifications In order to ... development, and adaptation of mathematical, statistical, econometric, and other scientific methods and techniques and provide advice and insight about the probable… more
- US Northern Command (Peterson AFB, CO)
- …mathematics to understand and use the fundamental concepts and techniques of operations research methods of analysis. In addition, some positions may require ... have been in calculus. Evaluation of Education: The primary requirement of operations research work is competence in the rigorous methods of scientific inquiry… more
- MIT Lincoln Laboratory (Lexington, MA)
- …Our staff includes system security researchers, applied cryptographers, software engineers, formal methods experts, and embedded systems developers. We bring ... Systems and Technology group applies foundational and applied cybersecurity research to the most critical challenges in national security....languages such as Rust and C/C+ + + Applied formal methods and software analysis tools. +… more
- GE Aerospace (Niskayuna, NY)
- …training and a variety of business critical assignments. **Job Description** Launch your research career with the GE Aerospace Research Edison Program. Our early ... your technical & leadership skills through stimulating R&D assignments, formal training, and professional coaching & mentorship. You will...create the future of flight. In the GE Aerospace Research Edison Program you will have the opportunity to… more
- MyFlorida (Marathon, FL)
- OPS Research Associate - 77901610 Date: Jan 8, 2026 The State Personnel System is an E-Verify employer. For more information click on our E-Verify Website ... 867670 Agency: Florida Fish and Wildlife Conservation Commission Working Title: OPS Research Associate - 77901610 Pay Plan: Temp Position Number: 77901610 Salary:… more