Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Hawai`i at Hilo
- University of Washington
- Virginia Community College
- The California State University
- California State University, San Bernardino
- University of Arkansas
- Texas A&M University System
- University of Texas at Austin
- Washington State University
- George Washington University
- University of New Mexico
- Texas A&M University
- Bowling Green State University
- Blinn College
- SUNY
- Fayetteville State University
- Colorado State University
- South Dakota State University
- New England HERC
- Christopher Newport University
- University of New South Wales
- Columbus State University
- TTI
- UHawai
- University of Florida
- East Carolina University
- Texas A&M AgriLife Extension
- University of North Carolina at Chapel Hill
- Coast Community College District
- Duke University
- TCAT-Dickson
- University of Saskatchewan
- Athens State University
- Indiana University
- National Renewable Energy Laboratory NREL
- University of California, San Francisco
- University of Illinois at Urbana Champaign
- Atlanta Metropolitan State College
- Lawrence Livermore National Laboratory
- Oak Ridge National Laboratory
- SUNY University at Buffalo
- University of South Carolina
- William and Mary
- George Mason University
- University of Mary Washington
- University of Rhode Island
- University of Texas Rio Grande Valley
- Chapman University
- EPFL
- Nanyang Technological University
- Purdue University
- TCAT-Northwest
- Texas A&m Engineering
- University of Idaho
- University of Utah
- Wroclaw University of Science and Technology
- AALTO UNIVERSITY
- Ashland University
- Buffalo State College
- CEA
- CNRS
- California State University, Monterey Bay
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Keene State College
- Kennesaw State University
- Loyola University
- Michigan State University
- NEW YORK UNIVERSITY ABU DHABI
- NIST
- Northeastern University
- Southwest Tennessee Community College
- Technical University of Denmark
- The University of Akron
- University of Bath
- University of California, Berkeley
- University of Luxembourg
- University of Maryland Eastern Shore
- University of Michigan
- University of Nevada, Reno
- University of New Hampshire
- University of Newcastle
- University of Pennsylvania
- University of Wisconsin-Milwaukee
- ACADEMIA ROMANA FILIALA CLUJ NAPOCA
- Aalborg University
- Aalto University
- Aarhus University
- Blekinge Institute of Technology
- CNR Istituto Officina dei Materiali
- Cal Poly Pomona
- California Baptist University
- California Institute of Technology
- California State University Channel Islands
- California State University, Northridge
- Center for Theoretical Physics PAS
- Centro de Astrofisica da Universidade do Porto
- City St George's, University of London
- City University London
- Commonwealth University of Pennsylvania
- 90 more »
- « less
-
Field
- Business
- Education
- Medical Sciences
- Social Sciences
- Computer Science
- Engineering
- Biology
- Psychology
- Design
- Arts and Literature
- Environment
- Law
- Statistics
- Sports and Recreation
- Earth Sciences
- Electrical Engineering
- Physics
- Chemistry
- Economics
- Humanities
- Linguistics
- Mathematics
- Science
- Materials Science
- Philosophy
- 15 more »
- « less
-
developing a system-level verification platform for secure software supply chains. The project focuses on verifying how authority and permissions propagate across interconnected services, APIs, workflows
-
developing a system-level verification platform for secure software supply chains. The project focuses on verifying how authority and permissions propagate across interconnected services, APIs, workflows
-
and integrating software components, research algorithms, data interfaces, and simulation platforms into functional prototypes, as well as supporting system testing, verification, and validation in
-
research-grade proof-checking or verification software. Experience with proof assistants, automated reasoning, or reinforcement learning is desirable, as is a track record of scientific publication and
-
, software components, data interfaces, and simulation platforms into functional prototypes, as well as supporting system testing, verification, and validation in realistic ATM environments, contributing
-
components. The subject thus complements related, more component-level/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and
-
identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
verification and systematic testing of software, artificial intelligence, requirements engineering, recommender systems, optimization of industrial problems, agile software development processes
-
debt management, cloud and edge computing, sustainable software systems, and AI-assisted software development. More information about the SustainAI research group is available at: https