-
? 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
-
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
-
Qualifications PhD awarded related to security, formal methods, program analysis or software engineering for Associate levels or nearing completion for Assistant level MSc degree with distinction in