228 coding-"https:" "https:" "https:" "https:" "https:" "UCL" "UCL" "UCL" 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;
- Swansea University
- Imperial College London
- University of Sheffield
- UNIVERSITY OF VIENNA
- University of Cambridge;
- Manchester Metropolitan University;
- Newcastle University;
- King's College London
- The University of Manchester;
- University of Bristol
- University of Exeter
- AALTO UNIVERSITY
- Cranfield University
- Oxford Brookes University
- University of East Anglia
- University of Oxford
- University of Warwick
- ;
- Loughborough University;
- The University of Edinburgh
- UCL
- University College London
- University of Sheffield;
- Aarhus University
- Abertay University
- Brunel University
- Brunel University London
- Brunel University London;
- City St George’s, University of London
- Edge Hill University
- Imperial College London;
- King's College London;
- Lancaster University
- Loughborough University
- Royal College of Art
- The Open University
- The University of Edinburgh;
- UCL;
- UWE, Bristol;
- University of Essex
- University of Exeter;
- University of Hertfordshire
- University of Leeds
- University of Plymouth
- University of Strathclyde
- University of Strathclyde (UOS)
- University of Strathclyde;
- University of Surrey
- University of Sussex
- University of Sussex;
- University of Warwick;
- University of Westminster;
- 48 more »
- « less
-
Field
-
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
-
website for more details about our research: https://lewisgroup.org.uk How to apply For informal enquiries, email Jamie at j.e.m.lewis@bham.ac.uk including a copy of your CV. Please apply through
-
shortlisted for funding by the NRPDTP. Shortlisted applicants will be interviewed on 30 April 2026. Visit our website for further information on eligibility and how to apply: https
-
2026. Visit our website for further information on eligibility and how to apply: https://biodtp.norwichresearchpark.ac.uk/ . Our partners value diverse and inclusive work environments that are positive
-
the information webinar, please visit: https://www.rca.ac.uk/study/apply-to-study/funding-your-studies/funding-for-mphil-and-phd-students/doctoral-landscape-sch-net-zero-futures/ Fair Access and Widening
-
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
-
via the University of Nottingham admissions portal: https://www.nottingham.ac.uk/pgstudy/course/research/2026/chemistry-phd View All Vacancies
-
this research area to https://www.warwick.ac.uk/engineeringscholarships/ng_epsrc/app via the above 'Apply' button. If this initial application is successful, we will invite you to submit a formal application