Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of Texas at Austin
- Colorado State University
- Nanyang Technological University
- George Mason University
- George Washington University
- Michigan State University
- National Research Council Canada
- University of Sheffield
- University of Sydney
- Center for Drug Evaluation and Research (CDER)
- Charles Sturt University
- European Space Agency
- Indiana University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Oak Ridge National Laboratory
- Queen's University Belfast
- SUNY
- Sandia National Laboratories
- Singapore Institute of Technology
- Texas A&M University System
- UNIVERSITY OF SYDNEY
- University of Maryland, Baltimore
- University of Oslo
- University of San Diego
- University of Saskatchewan
- University of Washington
- University of Wisconsin-Milwaukee
- Vanderbilt University
- Wayne State University
- 20 more »
- « less
-
Field
-
, software components, data interfaces, and simulation platforms into functional prototypes, as well as supporting system testing, verification, and validation in realistic ATM environments, contributing
-
correctness, robustness and reliability of deep neural networks and AI-enabled software systems. Job Responsibilities: Develop novel methods and algorithms for the verification, testing and
-
-ready mission software package; Assist in software testing, verification, and integration; and Comply with NASA space systems requirements and procedures. Reporting and Coordinating Assist in the
-
Job Description Apply now Apply Now Start Please wait... Job Title: Research Fellow in AI-Assisted Formal Verification Posting Start Date: 23/09/2026 Job Id: 3185 School/Department: Computer
-
Job Description Apply now Apply Now Start Please wait... Job Title: Research Fellow in AI-Assisted Formal Verification Posting Start Date: 11/09/2026 Job Id: 3142 School/Department: Computer
-
. Develop, train and validate AI models to automate QA/QC processes, enabling real-time verification, anomaly detection and consistency checks across records. Develop a cloud-based verification platform
-
; experience in the development, verification or validation of software-intensive or autonomous systems, preferably in safety-critical domains such as space, aviation, automotive, rail or medical
-
artificial intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to
-
algorithms of robot in complex dynamic environments. Robot platform and sensor system hardware and software integration. Algorithms and systems verification and validation. Report writing and
-
candidate will conduct model verification, sensitivity analysis, calibration, validation, performance evaluation, and troubleshooting. The position requires strong scientific programming and software