637 software-verification-computer-science-"TCAT-Jacksboro" PhD positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- ;
- Cranfield University
- University of Nottingham
- ; Swansea University
- University of Cambridge
- ; The University of Manchester
- ; University of Birmingham
- University of Manchester
- ; University of Nottingham
- University of Sheffield
- ; University of Exeter
- ; Newcastle University
- ; University of Southampton
- ; The University of Edinburgh
- ; University of Surrey
- ; University of Warwick
- University of Warwick
- Harper Adams University
- ; Cranfield University
- UNIVERSITY OF VIENNA
- University of Newcastle
- University of Oxford
- ; University of Leeds
- ; University of Oxford
- ; University of Sheffield
- AALTO UNIVERSITY
- Imperial College London
- Newcastle University
- ; City St George’s, University of London
- ; Loughborough University
- ; University of Cambridge
- The University of Manchester
- ; Brunel University London
- ; EPSRC Centre for Doctoral Training in Green Industrial Futures
- ; King's College London
- ; University of Bristol
- ; University of Strathclyde
- Brunel University
- University of Exeter
- ; Edge Hill University
- ; Manchester Metropolitan University
- ; University of Plymouth
- Abertay University
- KINGS COLLEGE LONDON
- University of Bristol
- University of Liverpool
- ; Imperial College London
- ; Lancaster University
- ; UWE, Bristol
- ; University of East Anglia
- ; University of Reading
- ; University of Sussex
- Heriot Watt University
- Manchester Metropolitan University
- THE HONG KONG POLYTECHNIC UNIVERSITY
- University of Birmingham
- ; Aston University
- ; Coventry University Group
- ; Durham University
- ; Royal Northern College of Music
- ; St George's, University of London
- ; The Open University
- ; UCL
- ; University of East London
- ; University of Greenwich
- ; University of Hertfordshire
- ; University of Huddersfield
- ; University of Hull
- ; University of Kent
- ; University of Stirling
- Aston University
- Brunel University London
- Durham University
- Heriot-Watt University;
- King's College London
- Loughborough University
- Nature Careers
- Nottingham Trent University
- Oxford Brookes University
- Swansea University
- UCL
- UNIVERSITY OF EAST LONDON
- UNIVERSITY OF MELBOURNE
- UNIVERSITY OF SOUTHAMPTON
- University of Cambridge;
- University of Glasgow
- University of Greenwich
- University of Hertfordshire
- University of Leicester
- University of London
- University of Nottingham;
- University of Plymouth
- 82 more »
- « less
-
Field
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
the successful candidate embarking on a PhD programme at LSHTM. It is anticipated that the role will lead to a further 18 month funded opportunity at Max Planck Institute for Demographic Research (MPIDR), in
-
Fully Funded PhD Research Studentship tax-free stipend of £20,870 Design, Informatics and Business Fully Funded PhD Research Studentship Project Title: Behaviour-Based Anomaly Detection
-
collection of evidence of impact through communication activities, feature-limited software releases and efforts to inform policy. Candidates for this PhD should have a strong foundation in computer science
-
One fully funded, full-time PhD position to work with Prof. Mahesh Marina in the Networked Systems Research Group at the School of Informatics, University of Edinburgh. The broad aim
-
or international equivalent, in a subject relating to neuroscience or neural engineering. Further qualifications such as an MRes is advantageous. The candidate must have or be willing to learn computational methods
-
. The integration of AI into hardware not only enhances performance but also reduces energy consumption, addressing the growing demand for sustainable and efficient computing solutions. This PhD project delves
-
28 Aug 2025 Job Information Organisation/Company KINGS COLLEGE LONDON Research Field Computer science Physics Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1) Country
-
-developed research support base including NET2Zero CDT, and EPSRC Centre for Doctoral Training in Resilient Chemistry: Feedstock to Function. The research programme will use a mixture of computational
-
. The Centre offers MSc programmes in Computational Fluid Dynamics (CFD), Software Engineering for Technical Computing (CSTE), and Aerospace Computational Engineering (ACE), providing the applicant with access