Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Cranfield University
- University of Newcastle
- University of Nottingham
- ; The University of Edinburgh
- KINGS COLLEGE LONDON
- The University of Edinburgh
- The University of Edinburgh;
- UNIVERSITY OF VIENNA
- University of Birmingham;
- University of Cambridge;
- University of East Anglia
- University of Glasgow
- University of Liverpool
- University of Oxford
- University of Oxford;
- University of Sheffield
- University of Warwick
- University of Warwick;
- AALTO UNIVERSITY
- Aarhus University
- Edinburgh Napier University;
- European Magnetism Association EMA
- Heriot Watt University
- Imperial College London
- Imperial College London;
- King's College London
- Kingston University
- Manchester Metropolitan University;
- Newcastle University
- Newcastle University;
- The University of Manchester
- University of Birmingham
- University of Bristol
- University of Cambridge
- University of Exeter
- University of Greenwich
- University of Leeds
- University of Salford;
- 28 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
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
Deadline: 30 September 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
Deadline: 31 August 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
for a highly motivated and independent individual to join an EPSRC research projectTRUSTED (SecuriTy SummaRies for SecUre SofTwarE Development) as a Research Associate or Research Assistant. The focus
-
. The postholder will also contribute to quantitative analyses, including survey data and secondary datasets (e.g. TIDES, UK-REACH, NHS CHECK, NHS staff survey) using statistical software such as Stata, R, MPLUS
-
(e.g. APMS) with software such as Stata, R, MPLUS, or Python. The successful candidate will contribute to publications, reports and dissemination activities, present findings at seminars, meetings and
-
programs. The student will join a well-supported team of chemists and biochemists (Master’s and PhD students, and postdocs) who are well-placed to provide a supportive and ambitious peer group. The student
-
, possibly by extending it to the relevant derived categories. The successful applicant will join the very active and supportive ANTLR group at UEA (currently comprising 7 faculty, 5 postdocs and 8 PhD