Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of British Columbia
- European Space Agency
- ;
- CNRS
- FCiências.ID
- Harvard University
- Ivy Tech Community College
- National Aeronautics and Space Administration (NASA)
- Nature Careers
- Northeastern University
- Princeton University
- The University of Queensland
- University of Luxembourg
- University of South-Eastern Norway
- University of Washington
- Fudan University
- Hanyang University
- Inria, the French national research institute for the digital sciences
- Instituto Pedro Nunes
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- LNEC, I.P.
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- National Center for Theoretical Sciences
- National University of Singapore
- Oak Ridge National Laboratory
- Purdue University
- RIKEN
- Ryerson University
- Télécom Paris
- Universidade de Coimbra
- Universite de Sherbrooke
- University of Bergen
- University of California, Los Angeles
- University of Connecticut
- University of Dayton
- University of Montevallo
- University of New South Wales
- University of Oxford
- University of Southern Denmark
- Université de Strasbourg
- Virginia Tech
- WIAS Berlin
- Washington University in St. Louis
- 35 more »
- « less
-
Field
-
applications. If AI controls a collaborative robot, the consequences of its decision errors may cause serious damage to the physical world or harm the human operator. The MOTUS (MOnitoring and Testing
-
filters Some filters are represented by a single toggle control. Toggling the filter On (to the right) will show results with the selected attribute: → Results must have the "Broadening Participation
-
verification – can supplement testing by providing evidence of system correctness through proof and analysis. Formal methods, in conjunction with existing best practices for system and software development, can
-
guidance in the School of Built Environment. This role will: Perform data entry. Format articles. Collect research information. Check research data for errors and format data for analysis as required
-
% - Work collaboratively in developing the standard for the next generation of error correction decoders 65% - Invent new algorithms, develop new theory using non-standard approaches to analyse them, and