241 coding-"https:" "https:" "https:" "Stanford University" PhD positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Newcastle University
- University of Nottingham
- The University of Manchester
- University of Birmingham
- University of Cambridge
- University of Birmingham;
- Imperial College London
- University of Sheffield
- University of Strathclyde
- UNIVERSITY OF VIENNA
- Newcastle University;
- University of Bristol
- University of Cambridge;
- King's College London
- Manchester Metropolitan University;
- University of East Anglia
- University of Exeter
- University of Warwick
- Cranfield University
- The University of Manchester;
- UCL
- University College London
- University of Newcastle
- University of Oxford
- AALTO UNIVERSITY
- Oxford Brookes University
- Royal College of Art
- Swansea University
- The Open University
- University of Sheffield;
- University of Strathclyde;
- University of Surrey
- University of Sussex
- University of Warwick;
- ;
- Abertay University
- Brunel University
- Brunel University London
- Brunel University London;
- Coventry University Group
- Edge Hill University
- Imperial College London;
- King's College London;
- Lancaster University
- Loughborough University
- Loughborough University;
- The University of Edinburgh
- UWE, Bristol;
- University of Essex;
- University of Exeter;
- University of Hertfordshire
- University of Leeds
- University of Nottingham;
- University of Plymouth
- University of Strathclyde (UOS)
- 45 more »
- « less
-
Field
-
, 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
-
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
-
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
-
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
-
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
-
: · 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
-
related discipline. A passion for experimental work and capability to develop/apply mathematical modelling techniques will be particularly important for this project. Where to apply Website https
-
to undertake a 4-year, enhanced stipend PhD studentship, within the Digital Metal CDT https://digitalmetal-cdt.ac.uk/ at the University of Nottingham. The Centre for Excellence in Coatings & Surface Eng
-
. 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
-
electron laser facilities. Contact: For informal enquiries please contact Sam Hay (Sam.Hay@manchester.ac.uk ) or Mike Hough (michael.hough@diamond.ac.uk ). https://www.manchester.ac.uk/research/sam.hay https