Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- KINGS COLLEGE LONDON
- University of Sheffield
- University of Glasgow
- University of Newcastle
- ;
- Cranfield University
- Heriot Watt University
- Imperial College London
- Imperial College London;
- King's College London
- Medical Research Council
- The University of Manchester
- University of Birmingham
- University of Salford;
- 4 more »
- « less
-
Field
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
are utilised in the computation. You will be part of the Nektar++ group and will be contributing towards the development of this advanced C++ software framework. The PhD will provide you with training and
-
Interviews: 19 November 2025, University of Salford Registration: January 2026 Project Description This PhD complements two ongoing projects funded by the Academic Department of Military Rehabilitation and the
-
methods. The successful Research Assistant will support the team and develop and conduct a PhD project within the remit of the workstream. Research priorities and questions will be co-produced with the NHS
-
have a PhD but wish to pursue one on the topic of this project will also be considered. Essential Application Knowledge and experience in software developments or formal methods – ideally in functional
-
PhD research and training environment. It is committed to supporting its internationally recognised researchers and to producing the next generation of talented social scientists. SENSS has been
-
methods, software engineering, and artificial intelligence whilst within the role. Skills, Experience & Qualification needed (these can be taken from the person specification) You will have a PhD in formal
-
Building a virtual human embryo to predict developmental success and failure School of Biosciences PhD Research Project Self Funded Dr Stanley Strawbridge, Prof Alexander Fletcher Application
-
for automated software verification. This role offers a unique opportunity to work at the forefront of formal methods and machine learning research, contributing to the foundational principles of how AI is
-
will be evaluated by end users in Spring 2026. Working as a member of Newcastle’s Power Systems research group and supported by the University’s Research Software Engineering team, you will continue to