- RTX Corporation (Cambridge, MA)
- …Will Do Responsibilities include, but are not limited to: + Build and advance a Formal Methods -related research area for BBN, having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Cambridge, MA)
- …Will Do Responsibilities include, but are not limited to: + Build and advance a Formal Methods -related research area for BBN having measurable impact on ... this position, you will pursue external funding from government research agencies (eg DARPA, IARPA, DoD Service Labs) to...of an exceptional team while building technologies to support Formal Methods for verification of processes, networks,… more
- Microsoft Corporation (Redmond, WA)
- …extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. ... Research Internships at Microsoft provide a dynamic environment... in at least one of the following areas: formal methods , high-performance computing, programming languages, and… more
- RTX Corporation (Cambridge, MA)
- …but are not limited to: + Join a team that is building and advancing a Formal Methods -related research area for BBN. + Contribute to creating new algorithms ... RTX BBN Technologies, a subsidiary of RTX, is the research company behind many revolutionary advances that we take...an opportunity to work with innovative technologies to support Formal Methods for verification of processes, networks,… more
- RTX Corporation (Nashville, TN)
- …+ How formal methods are used in industry + Overview of ongoing research in formal methods + Gain an understanding of the aerospace and defense ... USA Position Role Type: Remote At Collins Aerospace Applied Research & Technology (ART) we are accelerating the adoption...student intern to develop the next generation of advanced formal methods algorithms, tools, and technologies as… more
- National Renewable Energy Laboratory (Golden, CO)
- …energy + AI/ML research to enhance cyber resilience of energy systems + Formal methods research to enhance security verification and assurance for energy ... **Posting Title** Undergraduate (Summer) Intern - Cybersecurity Research . **Location** CO - Golden . **Position...in Golden, Colorado is the nation's primary laboratory for research and development of renewable energy and energy efficiency… 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. ... Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized… more
- Microsoft Corporation (Redmond, WA)
- …following core areas of research : datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems, ... The Microsoft Research Systems and Foundations organization (Redmond, WA) is...wide variety of disciplines, including datacenter networking, distributed systems, formal methods and verification, high performance computing,… more
- National Renewable Energy Laboratory (Golden, CO)
- …energy + AI/ML research to enhance cyber resilience of energy systems + Formal methods research to enhance security verification and assurance for energy ... Rocky Mountains in Golden, Colorado is the nation's primary laboratory for research and development of renewable energy and energy efficiency technologies. Join a… more
- Texas A&M University System (Kingsville, TX)
- Job Title Assistant Professor, Performance Psychology, Research Methods , and Statistics Agency Texas A&M University - Kingsville Department Dept. Of Health & ... and performance will be taught on a regular basis, and potentially courses in research methods and applied statistics. Quality performance will be expected in… more
- Texas A&M University System (Bryan, TX)
- …energy lasers and directed energy related technologies. - Diagnostics related efforts include research on methods to measure high speed flows including free ... surface phenomena and post shock wave conditions.- For directed energy applications the research involves methods to correct for distortions associated with the… more
- Applied Research Associates, Inc. (Columbus, OH)
- **Description** Applied Research Associates, Inc. (ARA) is seeking a driven and talented computational mathematician, physicist or engineer to conduct research ... acoustics and fluid dynamics. **This position will be located at Applied Research Associate's office in Columbus, OH.** A demonstrated background with 4-5 years'… more
- Vanderbilt University Medical Center (Nashville, TN)
- …areas. * Study Design & Conduct (Intermediate): Applies qualitative and quantitative research methods to perform preparatory, regulatory, and analytic tasking ... health and wellness through preeminent programs in patient care, education, and research . **Organization:** VICC - Clinical Trials 40 **Job Summary:** The Regulatory… more
- Dana-Farber Cancer Institute (Boston, MA)
- …approaches. Applicants are desired to have prior experience in laboratory and animal research methods . The applicant will work to advance our knowledge of ... center's mission and goals + Perform various preclinical animal research methods in mouse models + Perform...to co-author publications. May be expected to participate in formal and information presentations of results to staff. +… more
- Air Force Civilian Career Training (Langley AFB, VA)
- … training programs. Keeps current on emerging analytical techniques and research methods through independent study and reading/reviewing technical journals ... to understand and use the fundamental concepts and techniques of operations research methods of analysis. In addition, some positions may require knowledge of a… more
- NORC (Washington, DC)
- …other key deliverables. Oversee the work of others and ensure integrity of the research methods and approaches. + Manage contracts and work closely with clients ... reviewing raises and promotions, which is overseen by a formal Salary Review Committee (SRC). WHAT WE DO: NORC...has evolved in many ways, moving the needle with research methods , technical applications and groundbreaking … more
- ThermoFisher Scientific (Wilmington, NC)
- …responsibility for project completion, strategic consultation, and for use of best methods to address research needs. **Essential Duties and Responsibilities ... about his/her work + Responsible for scientific consultation and for use of best methods to address research needs. + Contributes to strategic thinking and… more
- Pennsylvania State University (University Park, PA)
- …collaborate to apply data analysis, visual analytics, and other computational techniques to research with data science and digital humanities methods that align ... areas. + 6+ years of experience in conducting academic, humanistic, and digital research . + Experience critically applying computational methods to the process… more
- Vanderbilt University Medical Center (Nashville, TN)
- …repositories. * Study Design & Conduct (Advanced): Applies qualitative and quantitative research methods to perform preparatory, regulatory, and analytic tasking ... and wellness through preeminent programs in patient care, education, and research . **Organization:** OTO Clinical Trials **Job Summary:** JOB SUMMARY The Department… more
- Vanderbilt University Medical Center (Nashville, TN)
- …processes. * Study Design & Conduct (Advanced): Applies qualitative and quantitative research methods to perform preparatory, regulatory, and analytic tasking ... health and wellness through preeminent programs in patient care, education, and research . **Organization:** Emergency Medicine Research **Job Summary:** In your… more