26 coding-"https:"-"FEMTO-ST"-"L2CM"-"CSIC"-"P" "https:" "https:" "https:" "https:" "https:" PhD positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Newcastle University
- University of Cambridge
- University of Birmingham
- Newcastle University;
- Swansea University
- The University of Manchester
- UCL
- University of Birmingham;
- University of Oxford
- University of Sheffield
- University of Sheffield;
- University of Strathclyde
- University of Strathclyde;
- 3 more »
- « less
-
Field
-
are seeking ambitious, innovative individuals to join our dynamic team. To find out more about our group and research, visit: https://www.ncl.ac.uk/engineering/research/electrical-electronic-engineering
-
). 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
-
, 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
-
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
-
. 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
-
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
-
: · 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
-
status rate at the School of Mechanical, Aerospace and Civil Engineering at the University of Sheffield under the supervision of Professor Pierre Ricco (http://www.pierre-ricco.co.uk/). Additionally