• Research Software Engineer, Formal

    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 (07/09/25)
    - Related Jobs
  • Sr Principal Research Software Engineer,…

    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
    RTX Corporation (08/01/25)
    - Related Jobs
  • Research Specialist, Office of Applied…

    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
    CUNY (07/14/25)
    - Related Jobs
  • Client Engineering Designer

    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
    IBM (07/10/25)
    - Related Jobs
  • Postdoctoral Associate

    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
    University of Colorado (08/08/25)
    - Related Jobs
  • Postdoctoral Teaching Fellow, Biology…

    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
    Emory Healthcare/Emory University (08/01/25)
    - Related Jobs
  • Senior Research Engineer (PhD level)…

    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
    Lockheed Martin (07/12/25)
    - Related Jobs
  • Supervisory Research And Writing Specialist

    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
    Air Education and Training Command (08/09/25)
    - Related Jobs
  • Research Associate Masters

    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
    Children's Mercy Kansas City (07/30/25)
    - Related Jobs
  • Speech Language Pathologist PRN Dysarthria…

    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
    Vanderbilt University Medical Center (07/31/25)
    - Related Jobs