Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Nottingham
- University of Birmingham
- University of Sheffield
- UCL
- University of Cambridge
- University of Cambridge;
- AALTO UNIVERSITY
- Abertay University
- Brunel University
- Imperial College London
- King's College London
- Newcastle University
- Newcastle University;
- Oxford Brookes University
- The University of Manchester
- UNIVERSITY OF VIENNA
- University of Birmingham;
- University of Bristol
- University of Strathclyde
- University of Strathclyde;
- University of Surrey
- University of Warwick
- 12 more »
- « less
-
Field
-
: · Learning how to express software requirements precisely using formal models. · Using these specifications to automatically generate test cases for software systems and code. · Exploring how test
-
in C++ and/or Python is expected, and experience in model analysis and parameter optimisation is beneficial. Experience in machine learning and neural networks is desirable. The successful applicant
-
filled The overarching aim of this project is to find synergies between methods and ideas of modern machine learning and of statistical mechanics for the study of stochastic dynamics with application
-
-making autonomy and human-machine teaming. The use of logic and data to make decisions, solve problems, and learn. Moving from rule-based systems to agents with strategic flexibility. The range and