Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
-
research will focus on contributing to the design of this network and verification of its performance, or specific aspects of it. It may involve, as one component of the research, developing the Claims
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
infinite extent models and limited extend data based on trust over particular sets, and naturally create explainable AI structures which can further be analysed from a verification and validation perspective