-
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
-
that the solutions provided are correct. It will involve a mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which
-
verification activities, and supporting programme and course reviews through assistance in data analysis and root cause analysis. What's in it for you? This is an exciting role within a fast-paced team with a
-
, certification, and the verification of university awards, as well as supporting university examinations and the management of assessment outcomes. Your work will directly contribute to an outstanding student
-
mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which is both mathematically rigorous, and
-
Job Description Position Details School of Computer Science Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 with
-
, 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
-
experience, leading to timely achievement of their apprenticeship programme. The Engineering Skills Coach will be responsible for the delivery of any CPD programmes, within their specialist area, which