Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Cornell University
- Duke University
- Oak Ridge National Laboratory
- University of Texas at Austin
- University of Illinois at Urbana Champaign
- University of Minnesota
- University of Nevada Las Vegas
- University of Texas at El Paso
- Argonne
- Carnegie Mellon University
- Iowa State University
- Loyola University
- National Renewable Energy Laboratory NREL
- Pennsylvania State University
- State University of New York University at Albany
- Texas A&M TVMDL
- The University of Chicago
- University of California Berkeley
- University of Michigan
- University of Nebraska Lincoln
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Virginia
- 13 more »
- « less
-
Field
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided
-
of this role involve conducting research in I/O systems, formal methods, and machine learning, as well as contributing to NSF-funded collaborative projects and publishing research papers. The position also
-
the evaluation of this initiative through a multi-year, mixed methods analysis around the implementation process of PHMI and the achievement of its intended goals. Responsibilities Create and maintain standardized
-
, with the goal of improving the health of all Virginians. The candidate will contribute to implementing research initiatives that apply big-data analytics, data science, and community-engaged methods
-
; discounted diagnostic testing, veterinary care, and pet supplies; a formal career ladder for advancement; and continuing education opportunities. About the Section This position serves as a Scientist I in the
-
the county and the region. Provide overall program leadership of and participate in delivery of innovative and multi-disciplinary program efforts utilizing a variety of teaching methods, including formal and
-
academic expertise to guide the expansion of our technical capabilities by liaising with faculty and developing and implementing new MRI methods and services on the Center’s MRI systems. Lead the MRI team
-
Develop and implement advanced data analysis algorithms and artificial intelligence methods Analyze data from LIGO/Virgo/KAGRA detectors to search for and characterize gravitational wave signals Collaborate
-
organizations to deliver non-formal educational programs that address pressing community needs, from agriculture and environmental stewardship to health, nutrition, and youth development. The Extension Educator