28 coding-"https:"-"FEMTO-ST"-"CSIC" "https:" "https:" "https:" PhD positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Newcastle University
- University of Cambridge
- University of Birmingham
- Swansea University
- AALTO UNIVERSITY
- Newcastle University;
- The University of Manchester
- UCL
- University of Birmingham;
- University of Oxford
- University of Sheffield
- University of Sheffield;
- University of Strathclyde
- University of Strathclyde;
- 4 more »
- « less
-
Field
-
Supervisor: Dr. Kamila Maria Jozwik, Jozwik lab PhD fees status: Home fees only (https://www.postgraduate.study.cam.ac.uk/finance/fees/what-my-fee-status ), 4 years Start date: October 2026 The
-
. 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
-
). 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
-
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
-
: · 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
-
. 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