Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Washington
- University of Texas at Austin
- Texas A&M University
- University of Cincinnati
- The California State University
- Virginia Community College
- University of California, San Francisco
- Oak Ridge National Laboratory
- Washington University in St. Louis
- Kennesaw State University
- Washington State University
- Colorado State University
- University of Arkansas
- University of Saskatchewan
- University of New Mexico
- Binghamton University
- California State University, San Bernardino
- University System of Georgia
- George Washington University
- Brown University
- Texas A&M University System
- University of Oklahoma
- Carnegie Mellon University
- Texas A&M AgriLife
- National Renewable Energy Laboratory NREL
- The Ohio State University
- Bowling Green State University
- University of Miami
- Stony Brook University
- Texas A&M AgriLife Extension
- European Space Agency
- Bellevue College
- Sierra College
- Columbus State University
- University of Alabama at Birmingham
- Georgia College
- Texas A&m Engineering
- Cleveland State University
- University of San Diego
- Indiana State University
- University of California Davis
- University of Michigan
- Bowdoin College
- Duke University
- University of Colorado
- University of Utah
- Fayetteville State University
- Broward College
- Lehigh University
- Los Angeles Community College District
- TCAT-Knoxville
- University of Virginia
- Coast Community College District
- National University of Science and Technology POLITEHNICA Bucharest
- Rutgers University
- Texas A&M Forest Service
- Texas A&M TVMDL
- University of California
- Cal Poly Pomona
- California State University San Marcos
- Florida International University
- California State University East Bay
- Instituto Politécnico de Bragança
- Montgomery College
- Purdue University
- SUNY Canton
- Stanford University
- TTI
- University of Alabama, Birmingham
- University of Florida
- Case Western Reserve University
- East Carolina University
- Embry-Riddle Aeronautical University
- SUNY University at Buffalo
- State University of New York University at Albany
- TCAT-Dickson
- TCAT-Murfreesboro
- Technical University of Munich
- University of North Texas at Dallas
- University of Southern California
- Wayne State University
- Aalborg University
- Austin Community College District
- Johns Hopkins University
- Medical College of Wisconsin
- Montana State University
- National Research Council Canada
- San Francisco State University
- South Dakota State University
- The University of Arizona
- The University of Chicago
- University of British Columbia
- University of Illinois at Urbana Champaign
- University of Luxembourg
- University of Mary Washington
- University of Maryland, Baltimore
- University of Minnesota
- University of New South Wales
- University of South Carolina
- University of Southern California (USC)
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Business
- Materials Science
- Education
- Biology
- Science
- Arts and Literature
- Psychology
- Mathematics
- Social Sciences
- Humanities
- Law
- Sports and Recreation
- Electrical Engineering
- Chemistry
- Design
- Environment
- Philosophy
- Earth Sciences
- 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
-
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
-
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
-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups
-
checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be
-
Job Title Software Applications Developer II Agency Texas A&M Agrilife Research Department AgriLife Research Center for Managed Technology Services (ARCMTS) Proposed Minimum Salary Commensurate Job
-
, Computer Science, Electrical Engineering, or related field, with professional experience as a software developer or engineer, verification engineer in a collaborative team environment. Willingness to travel
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
, and software design, fabrication, assembly, test, and sustainment; as well as, systems engineering, safety and verification documentation / closeout, crew training, launch site support, mission