- RTX Corporation (Cambridge, MA)
- …team:** RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development ... contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security...hypotheses and inform next steps + Advance network security research at BBN. + Own projects or large components… 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
- RTX Corporation (Cambridge, MA)
- …and performance of such systems. **What You Will Do** + Build and advance a Formal Methods -related research area for BBN having measurable impact on business ... team: The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting… more
- Leidos (Arlington, VA)
- …related to low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in ... Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has...of innovative approaches and solutions in automated reasoning applied research as well as supporting the engagement of customers… 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
- 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
- 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
- University of Maryland, Baltimore (Baltimore, MD)
- …- Division of Cardiovascular Medicine*is currently recruiting for a*Laboratory Animal Research Assistant or Specialist position*. This position is responsible for ... for supporting and/or ensuring design, development, documentation, and implementation of research procedures and protocols using a variety of complex activities.… 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 ... JOB SUMMARY 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
- Vanderbilt University Medical Center (Nashville, TN)
- …health and wellness through preeminent programs in patient care, education, and research . **Organization:** VICTR **Job Summary:** Sr Scientific Research Project ... at VUMC, or other required meetings. JOB SUMMARY Independently manages biomedical research projects and analyses for a diverse portfolio of evidence-based clinical… more