Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Newcastle University
- University of Cambridge
- University of Birmingham
- Newcastle University;
- Swansea University
- AALTO UNIVERSITY
- King's College London
- The University of Manchester
- UCL
- University of Birmingham;
- University of Oxford
- University of Sheffield
- University of Sheffield;
- University of Strathclyde
- University of Strathclyde;
- 5 more »
- « less
-
Field
-
). All applicants must meet UKRI terms and conditions for funding. See: https://www.ukri.org/funding/information-for-award-holders/grant-terms-and-conditions/ How To Apply You must apply through
-
. Experience in coding (e.g., Python/R/Matlab) and experience in behavioural experimentation, statistics, or machine learning is desirable but full training will be provided. Interviews for this studentship
-
: · 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
-
certificate prior to obtaining their visa and to study on this programme. How To Apply You must apply through the University’s Application Portal: https://applyto.newcastle.ac.uk/ In ‘Course choice’ tab: Type
-
families of quantum codes such as permutation invariant codes and some bosonic codes. This PhD will explore the theoretical application and optimisation of these quantum codes for quantum technologies
-
their operational reliability. The PhD student will combine mathematical models, in-house laboratory tests in a wind-wave-current flume (https://research.ncl.ac.uk/amh/ ) and numerical methodology to quantify
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
, Computer Science, Neuroscience, Data Science, or a related field. An MSc degree in a relevant area is desirable though not necessary. Experience in coding (e.g., Python/R/Matlab) and experience in
-
. Experience in coding (e.g., Python/R/Matlab) and experience in behavioural experimentation, statistics, or machine learning is desirable but full training will be provided. Applicants with an interest in human
-
details can be found at https://www.net-zero-fibe-cdt.eng.cam.ac.uk/ The project is funded in collaboration with Ramboll and Buro Happold who work across diverse projects with key clients focused