- 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
- 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
- CUNY (New York, NY)
- …working in an applied research setting. * Formal training in research and evaluation methods and a strong understanding of statistical concepts. * ... intelligence tools for reporting, and employs rigorous qualitative and quantitative research methods , and approach their work with a focus on leveraging data… more
- IBM (Chicago, IL)
- …for complex technical challenges. * User Research : Understand how to use user research methods , both formal and informal, to uncover critical user, ... the human needs behind a client's challenge through lean user research and participative activities (Enterprise Design Thinking) in client conversations. Designers… more
- University of Colorado (Boulder, CO)
- …NSF CAREER award and focuses on foundational research at the intersection of formal methods , automata theory, and reinforcement learning (RL). The goal is to ... **What Your Key Responsibilities Will Be** + Conduct independent and collaborative research in reinforcement learning, formal verification, and game theory. +… 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
- 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
- Air Education and Training Command (Maxwell AFB, AL)
- …of techniques, methods , sources and procedures within the field of research , writing and editing for formal , scholarly publications. Demonstrated experience ... methods , sources and procedures within the field of research , writing and editing for formal , scholarly...field of research , writing and editing for formal , scholarly publications. Demonstrated experience with the use of… more
- Children's Mercy Kansas City (Kansas City, MO)
- …project collaborations, the Formative Research Team applies expertise in qualitative research , mixed- methods research and applications of social and ... discussed with Human Resources. Responsibilities + Advising health professionals in formative research methods (qualitative methods and survey design) +… more
- Vanderbilt University Medical Center (Nashville, TN)
- …and wellness through preeminent programs in patient care, education, and research . **Organization:** Hearing And Speech **Job Summary:** JOB SUMMARY This position ... **Schedule:** Monday-Friday (Fridays required) **Position Type:** Per Diem **Department:** Research - Neurological Speech Disorders **About the Role** Vanderbilt… more