Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Washington
- Texas A&M University
- Virginia Community College
- University of Cincinnati
- The California State University
- Kennesaw State University
- University of California, San Francisco
- Washington State University
- Washington University in St. Louis
- Oak Ridge National Laboratory
- California State University, San Bernardino
- University of Arkansas
- Texas A&M University System
- Colorado State University
- University of New Mexico
- Binghamton University
- Los Angeles Community College District
- George Washington University
- University of Miami
- Brown University
- University of Oklahoma
- University System of Georgia
- Carnegie Mellon University
- University of Saskatchewan
- Texas A&M AgriLife
- The Ohio State University
- California State University East Bay
- Bellevue College
- National Renewable Energy Laboratory NREL
- Columbus State University
- Texas A&M AgriLife Extension
- University of Michigan
- Bowling Green State University
- Texas A&m Engineering
- University of California
- Cleveland State University
- Georgia College
- Sierra College
- University of California Davis
- University of Southern California
- Fayetteville State University
- Indiana State University
- University of San Diego
- SUNY University at Buffalo
- Bowdoin College
- Rutgers University
- University of Alabama at Birmingham
- University of Colorado
- South Dakota State University
- Texas A&M Forest Service
- University of Southern California (USC)
- Stony Brook University
- Broward College
- Cal Poly Pomona
- Duke University
- Texas A&M TVMDL
- University of Mary Washington
- University of Maryland, Baltimore
- Coast Community College District
- European Space Agency
- University of Utah
- Lehigh University
- SUNY Canton
- TCAT-Dickson
- TTI
- University of California, Los Angeles
- University of Florida
- University of North Texas at Dallas
- University of Virginia
- California State University San Marcos
- National Research Council Canada
- TCAT-Knoxville
- University of California, San Diego
- East Carolina University
- Florida International University
- High Point University
- Medical College of Wisconsin
- Montana State University
- San Francisco State University
- State University of New York University at Albany
- Technical University of Munich
- University of British Columbia
- University of Maryland
- University of Minnesota
- Atlanta Metropolitan State College
- Christopher Newport University
- Embry-Riddle Aeronautical University
- Kent State University
- Montgomery College
- Politécnico de Leiria
- Purdue University
- TCAT-Murfreesboro
- University of Nevada, Reno
- University of San Francisco
- University of South Carolina
- University of Victoria
- Wayne State University
- Baylor College of Medicine
- California Institute of Technology
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Business
- Materials Science
- Education
- Biology
- Science
- Psychology
- Arts and Literature
- Mathematics
- Sports and Recreation
- Social Sciences
- Humanities
- Law
- Electrical Engineering
- Chemistry
- Earth Sciences
- Philosophy
- Design
- Environment
- Linguistics
- Physics
- 14 more »
- « less
-
investigate both pre-deployment testing techniques and runtime monitoring approaches. This research aims to contribute frameworks and tools supporting systematic Verification&Validation of AI-enabled software
-
investigate both pre-deployment testing techniques and runtime monitoring approaches. This research aims to contribute frameworks and tools supporting systematic Verification&Validation of AI-enabled software
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
Nowadays more and more intelligence software solutions emerge in our daily life, for example the face recognition, smart voice assitants, and autonomous vehicle. As a type of data-driven solutions
-
the role of AI in them; AI in program specification and verification; AI for software engineering (e.g., prompt engineering, context engineering, trustworthy AI, sustainable AI, Agentic AI, and how software
-
Science, Electrical Engineering, or a related field. You've worked in a collaborative team environment as a software developer, software engineer, or verification engineer. You understand the DoD Systems Engineering
-
reports on existing production databases. Performs statistical programming, reviews databases, handles quality assurance, provides program verification, and supports verification of statistical results
-
Development (EITD) group. Assist with the development, tracking, test planning, and verification testing of project requirements and flight operations support for payload systems for space applications. Develop
-
para el esquema post-cuántico de verificación XMSS / - Design of hardware accelerator for the post-quantum verification scheme XMSS - Integración del acelerador hardware de XMSS junto a CPU RISC-V (X
-
, and software verification and validation. Experience in multi-threaded software development and debugging. Experience with distributed system development and debugging using RPC frameworks such as gRPC