6 software-formal-method-phd positions at The University of Edinburgh in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
Deadline: 30 September 2025 A fully funded 3.5 year PhD position is available to work on the project titled “Scalable benchmarking for digital quantum computers based on blind testing
-
tasks will entail characterizing a state-of-the-art CXL hardware platform, bringing up and tuning analytics workloads, identifying and evaluating relevant performance optimizations at software and
-
paper in Epilepsia: https://doi.org/10.1111/epi.18353 and coverage in the press: https://www.theguardian.com/society/2025/mar/21/new-brain-scan-method-could-help-people-with-drug-resistant-epilepsy
-
material for publication and dissemination. This post is full-time (35 hours per week). The salary for this post is £41,064 to £48,822 per annum. Your skills and attributes for success: PhD, or PhD near
-
confident, organised researcher who can evidence: A PhD, or equivalent, in physics, mathematics, or a closely related discipline. Candidates may be near completion but must have their PhD awarded prior